Skip to content

update syntax for propositional equality #286

update syntax for propositional equality

update syntax for propositional equality #286

Triggered via pull request September 15, 2024 12:19
Status Success
Total duration 1m 52s
Artifacts

ci_build.yaml

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