3 ms·
Creating an extensive library of formally verified results is the goal of many systems, such as http://metamath.org/ http://metamath.org/
by clcaev 4y ago
Creating an extensive library of formally verified results is the goal of many systems, such as http://metamath.org/ http://metamath.org/