01EntryItem

Archive

1. RepoScience & Simulation18 Oct 2026score 8

   FloatLib

   Verified library for arbitrary precision floating point arithmetic in Lean, offering machine-checked proofs and optimized backends for formats like IEEE binary.

   SourceDetailsinteresting-repos post