Lean (proof assistant)

New to topics? Read the documentation here!
Top articles Latest articles+ New article in topic
Lean (proof assistant) by Ciro Santilli 34 Updated 2024-12-15 +Created 1970-01-01
Read the full article
Lean (proof assistant) by Wikipedia Bot 0 1970-01-01
Read the full article