CFP-MCFP Theorem Proofs

85 Slides — 209+ Theorems — 0 Sorry — 0 Axiom — Machine Verified

📥 Download PDF 📚 Cite on Zenodo
DOI: 10.5281/zenodo.20043725
209+
Lean 4 Theorems
85
Slides
0
Sorry Statements
7
RH Proof Routes