Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
aesop
White-box automation for Lean 4
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
7
Last push
29mo ago
Recent commits
Latest commits.
Update Lean to nightly-2022-07-13
d302004
Leonardo de Moura
48mo ago
Update Lean to nightly-2022-07-11
22f590f
Сухарик
48mo ago
Allow nonterminal Aesop calls
9af0934
Jannis Limperg
48mo ago
Centralise handling of recoverable errors
fd86eb5
Jannis Limperg
48mo ago
Enable module precompilation
89465ee
Jannis Limperg
48mo ago
Update Lean to nightly-2022-07-06
3d127e8
Jannis Limperg
48mo ago
Add copyright notices to some tests
4fd8219
Jannis Limperg
48mo ago
SimpGoal: update mvar when unchanged
2d4bfea
Jannis Limperg
48mo ago
Top contributors
Builders behind this project.
JLimperg
277 commits
astahfrom
6 commits
Kha
5 commits
gebner
2 commits
suhr
2 commits
dselsam
1 commits
leodemoura
1 commits
