Skip to content
.github/workflows/main.yml

Equivalence of conatural types #3477

Sign in to view logs

Equivalence of conatural types

Equivalence of conatural types #3477

Triggered via pull request December 24, 2024 21:01
@Seiryn21Seiryn21
synchronize #330
Seiryn21:CoNat-Equiv
Status Skipped
Total duration 3s
Artifacts –

main.yml

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