feat: fine-grained equational lemmas for non-recursive functions#4154
Merged
nomeata merged 45 commits intomasterfrom joachim/nonrec-eqns2Aug 22, 2024
+581-106
Commits
Commits on May 13, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jun 3, 2024
Commits on Aug 15, 2024
Merge branch 'nightly-with-mathlib' of github.com:leanprover/lean4 into joachim/nonrec-eqns2
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 16, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 19, 2024
Commits on Aug 20, 2024
Commits on Aug 21, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- authored
Commits on Aug 22, 2024
Merge branch 'nightly-with-mathlib' of github.com:leanprover/lean4 into joachim/nonrec-eqns2
committed- committed
- committed
- committed
- committed
- committed
- committed