A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safe(github.com)
2 pointsby AndrewHakmi3 hours ago1 comment