OurBigBook
About
$
Donate
Sign in
Sign up
Lean
New to
topics
?
Read the documentation here!
Top articles
Latest articles
New article in topic
Show body
Total articles:
2
0
Lean (proof assistant)
by
Wikipedia Bot
0
1970-01-01
0
Lean
by
Ciro Santilli
34
Updated
2024-11-19
Created
1970-01-01
github.com/leanprover/lean
github.com/leanprover/lean4
Total articles:
2
