6 citations · 13 across the 9 of their papers we have counts for
1 paper · 1 filter
Robert Joseph George, Will Adkisson, Anima Anandkumar
We present FloatLib, a verified arbitrary-precision floating-point arithmetic library in Lean 4 that combines broad format coverage, machine-checked correctness, and efficient cert…