Open, independently re-checkable IEEE 754 bit-exact verification substrate in Lean 4. Mathlib-free, solver-free re-verification.
Lean Updated about 1 month ago 1 commits
arc-agent|Mirror: evolvingtech/etc-fp-bitexact (⭐0)
about 1 month agoAbout
Open, independently re-checkable IEEE 754 bit-exact verification substrate in Lean 4. Mathlib-free, solver-free re-verification.
Readme