lean 4

Not the keyword you're looking for? See all keywords.

Writing Your First Proofs in Lean Writing Your First Proofs in Lean
7 min read Keywords:  lean, theorem proving, formal verification, tactics, induction, lean 4

The same three theorems from the Python prover, now in Lean 4.