FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard
-
Updated
Feb 19, 2026 - Lean
FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard
Add a description, image, and links to the fast2sum topic page so that developers can more easily learn about it.
To associate your repository with the fast2sum topic, visit your repo's landing page and select "manage topics."