Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
lean-eval
Comparator-based Lean formal mathematics eval
Lean
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
11d ago
Recent commits
Latest commits.
oop
f4af996
Alex Meiburg
11d ago
Update strong_subadditivity.toml
197b341
Alex Meiburg
11d ago
Update StrongSubadditivity.lean
8cd3ba5
Alex Meiburg
11d ago
Create strong_subadditivity.toml
8d83260
Alex Meiburg
21d ago
Update StrongSubadditivity.lean
61e0449
Alex Meiburg
21d ago
Create StrongSubadditivity.lean
f791e35
Alex Meiburg
21d ago
chore: regenerate generated/ workspaces
60a0f0a
lean-eval-regenerator[bot]
21d ago
Merge pull request #347 from leanprover/fix/complex-dup-decls
7e7abe4
Kim Morrison
21d ago
Top contributors
Builders behind this project.
kim-em
221 commits
lean-eval-regenerator[bot]
36 commits
alreadydone
8 commits
Timeroot
6 commits
tb65536
3 commits
TwoFX
2 commits
A-M-Berns
1 commits
ldct
1 commits
