GitHub repository: opencompl/fp.lean
Primary language: Lean
Created: 2025-01-30T16:21:05Z
Description: Floating Point Semantics Mechanization for Lean