Skip to content
CI build

need a few lemmas to push through this proof #310

Sign in to view logs

need a few lemmas to push through this proof

need a few lemmas to push through this proof #310

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Completeness of _CoqProject
3s
Continuous Intergration
7m 49s
7m 52s