3 ms·
How does Lean compares with Coq? (I am not familiar with Lean but am familiar with Coq)
by a1o 2y ago
How does Lean compares with Coq? (I am not familiar with Lean but am familiar with Coq)
- denotational 2y agoMario Carneiro’s MS Thesis has a good overview of the type theory and how it compares to Coq: https://github.com/digama0/lean-type-theory/releases/download/v1.0/main.pdf https://github.com/digama0/lean-type-theory/releases/downloa...
- a1o 2y agoThank you!