B.V, M. N. (2026). CFP-MCFP Complete Theorem Proofs: 78 Slides with Lean 4 Proof Details. Zenodo.
Style de citation Chicago (17e éd.)B.V, Mr. NeC. CFP-MCFP Complete Theorem Proofs: 78 Slides with Lean 4 Proof Details. Zenodo, 2026.
Style de citation MLA (9e éd.)B.V, Mr. NeC. CFP-MCFP Complete Theorem Proofs: 78 Slides with Lean 4 Proof Details. Zenodo, 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.