Federico Carrone
☰
About
Articles
Series
Talks
Library
Explore
Search
EN
ES
Topic
induction
1 piece on this topic.
All topics
Theorem Proving
Writing Your First Proofs in Lean
The same three theorems from the Python prover, now in Lean 4.
Mar 20, 2026
· 7 min
