Hacker News new | ask | show | jobs
by clcaev 1416 days ago
Creating an extensive library of formally verified results is the goal of many systems, such as http://metamath.org/