Lean vs Coq (source code)

by Ciro Santilli (@cirosantilli, 37)
= Lean vs <Coq>
{c}

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

Back to article page