Skip to content
Agda

fix: right-recursive _⊕_ + Phase 1.3 right-monotonicity lemmas (issue… #265

Sign in to view logs

fix: right-recursive _⊕_ + Phase 1.3 right-monotonicity lemmas (issue…

fix: right-recursive _⊕_ + Phase 1.3 right-monotonicity lemmas (issue… #265

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
3m 5s
3m 5s