 Lean vs Coq

ID: lean-vs-coq

 Top articles Latest articles New article in topic

 0 Lean vs Coq by Ciro Santilli 37 2025-10-14

• proofassistants.stackexchange.com/questions/153/what-are-the-main-differences-between-coq-and-lean
• news.ycombinator.com/item?id=22171305

 Read the full article

 New to topics? Read the docs here!