A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safe

(github.com)

3 points | by AndrewHakmi 13 hours ago ago

1 comments