 Comparison of proof assistants

ID: comparison-of-proof-assistants

 Top articles  Latest articles + New article in topic

Comparison of proof assistants by

Ciro Santilli 35  Updated 2025-03-13  +Created 2025-03-08

ntietz.com/blog/first-impressions-of-lean-and-coq/ My first impressions from a few weeks with Lean and Coq

 Read the full article

 New to topics? Read the docs here!