Skip to content

update syntax for propositional equality #284

update syntax for propositional equality

update syntax for propositional equality #284

Triggered via pull request September 15, 2024 02:52
Status Failure
Total duration 1m 39s
Artifacts

ci_build.yaml

on: pull_request
Completeness of _CoqProject
3s
Completeness of _CoqProject
Continuous Intergration
1m 30s
Continuous Intergration
Fit to window
Zoom out
Zoom in