Skip to content
.github/workflows/main.yml

Equivalence of conatural types #3458

Sign in to view logs

Equivalence of conatural types

Equivalence of conatural types #3458

Triggered via pull request December 3, 2024 23:44
@Seiryn21Seiryn21
opened #330
Seiryn21:CoNat-Equiv
Status Skipped
Total duration 2s
Artifacts –

main.yml

on: pull_request
Typechecking
0s
Typechecking
Fit to window
Zoom out
Zoom in