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 p3109 topic page so that developers can more easily learn about it.
To associate your repository with the p3109 topic, visit your repo's landing page and select "manage topics."