Make

feat: theorem 3.10 #186

Sign in to view logs

Triggered via pull request May 29, 2024 03:04

favonia

opened #53

theorem-3.10

Status Success

Total duration 21s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda