Skip to content
CI build

need a few lemmas to push through this proof #314

Sign in to view logs

need a few lemmas to push through this proof

need a few lemmas to push through this proof #314

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Completeness of _CoqProject
2s
Continuous Intergration
11m 10s
11m 12s