A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safegithub.com/XTeam-Pro3 pointsAndrewHakmi10 days ago