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

(github.com) by AndrewHakmi | Jun 13, 2026 | 0 comments on HN