4 ms·
The "library of foundational proofs" sounds a little like this graph of hyperlinked theorems online: http://us.metamath.org/mpegif/mmset.html#overview http://us
by 13ren 18y ago
The "library of foundational proofs" sounds a little like this graph of hyperlinked theorems online: http://us.metamath.org/mpegif/mmset.html#overview http://us.metamath.org/mpegif/mmset.html#overview