 Comparison of proof assistants

ID: comparison-of-proof-assistants

 Top articles  Latest articles New article in topic

Comparison of proof assistants by

Ciro Santilli 37 Created 2025-03-08 Updated 2025-07-16

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!