Skip to content
.github/workflows/push_pr.yml

Finished proof three lines lemma, all cases; simplified several proofs #56

Sign in to view logs

Finished proof three lines lemma, all cases; simplified several proofs

Finished proof three lines lemma, all cases; simplified several proofs #56

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build project
2m 48s
2m 48s