Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
ETAPSTutorial2026
leodemoura/ETAPSTutorial2026
Lean
Emerging
GitHub
Stars
5
Forks
—
Contributors
1
Last push
2mo ago
Recent commits
Latest commits.
Update slide after Verso fix
6390ca8
Leonardo de Moura
2mo ago
Update toolchain and manifest
f43eb8a
Leonardo de Moura
2mo ago
Remove empty slide
61c5849
Leonardo de Moura
2mo ago
Remove Mochizuki report link (parentheses in URL break Verso)
73b9d54
Leonardo de Moura
2mo ago
Add Mochizuki IUT formalization to mathematics slide, fix AI Scoreboard
2afd789
Leonardo de Moura
2mo ago
Add 'to date' hedge on AI claim, sharpen closing with challenge
3293a9d
Leonardo de Moura
2mo ago
Fix duplicate kernels mention, trim long code blocks
25d89a6
Leonardo de Moura
2mo ago
Add link to Why Lean? blog post
a4e180e
Leonardo de Moura
2mo ago
Top contributors
Builders behind this project.
leodemoura
56 commits
