feat: omega to abstract its own proofs#5998
Merged
nomeata merged 19 commits intomasterfrom joachim/omega-abstract-proofsMar 10, 2025
Commits
Commits on Nov 7, 2024
Commits on Mar 4, 2025
Merge branch 'nightly-with-mathlib' of https://github.com/leanprover/lean4 into joachim/omega-abstract-proofs
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 5, 2025
- committed
Commits on Mar 6, 2025
- committed
Merge branch 'nightly-with-mathlib' of https://github.com/leanprover/lean4 into joachim/omega-abstract-proofs
committed- committed
- committed
Merge branch 'master' of https://github.com/leanprover/lean4 into joachim/omega-abstract-proofs
committed- committed
- committed