ParentFull threadForHackernews·> Library for rigurous verification of non-linear arithmeticVery rigurousView on HN