Useful Links

Conferences

• Lean-related conferences and events — A curated list of upcoming and past conferences and events related to the Lean theorem prover.
• Certified Programs and Proofs (CPP) Series — An international conference on practical and theoretical topics that consider formal verification and certification as an essential paradigm, spanning computer science, mathematics, logic, and education, sponsored by ACM SIGPLAN with ACM SIGLOG.

Lean Documents

• Lean 4 Documentation
• Lean 4 Official Documentation
• Hitchhiker’s Guide to Interactive Theorem Proving (PDF)
• Lean community website