Source: cirosantilli/comparison-of-proof-assistants
= Comparison of proof assistants
* https://ntietz.com/blog/first-impressions-of-lean-and-coq/ My first impressions from a few weeks with <Lean> and <Coq>
= Comparison of proof assistants
* https://ntietz.com/blog/first-impressions-of-lean-and-coq/ My first impressions from a few weeks with <Lean> and <Coq>