articleZenodo (CERN European Organization for Nuclear Research)May 5, 2026GREEN OA

CFP-MCFP Complete Theorem Proofs: 85 Slides with Full Proof Details

MNMr. NeC B.V.

NEC (China)

Indexed indatacite

Abstract

85 Presentation Slides - Complete Proof Documentation Lean 4 Verification Status 209+ theorems 0 sorry statements (no incomplete proofs) 0 custom axioms (pure proofs on Mathlib) 3525 lines of verified code NEW SLIDES (v4): CLARIFY-01: What Is Actually Proven - complete theorem inventory CONN-09: Proof Connection Map - visual dependency graph CONN-10: Theorem Dependencies - 4-level hierarchy CONN-11: No Axioms - verification commands OVERVIEW-08: How to Verify - step-by-step instructions CONN-12: Peer Review Needed - honest assessment CONN-13: Website Reference - interactive viewer link Key Theorems Proven: spectral_exclusion_main: σ > 1/2 → spectral gap exists prime_composite_separation: primes vs composites…

Citation impact

6
total citations
FWCI
149.55
Percentile
100%
References
0
Too recent for citation history.

Authors

1

Topics & keywords

Topics
Keywords
  • Mathematical proof
  • Axiom
  • Proof assistant
  • Automated theorem proving
  • Sketch
  • Documentation
  • Calculus (dental)
  • Key (lock)
UN Sustainable Development Goals
  • Reduced inequalities
No related works found for this paper.