 Logic and Proof (Lean book)

ID: logic-and-proof-lean-book

 Top articles  Latest articles New article in topic

Logic and Proof (Lean book) by

Ciro Santilli 37 2025-10-14

leanprover-community.github.io/logic_and_proof/index.html

 Read the full article

 New to topics? Read the docs here!