Static

FloatLib: Verified Floating-Point Arithmetic in Lean

First reported by Leandojo · 9m ago

The signal ●○○○ Brief pending · reported by Leandojo and Reddit

Source description shown. AI brief pending.