6 ms·Now imagine it with theorems as entities and lean proofs as relationshipsby Frummy 1y agoNow imagine it with theorems as entities and lean proofs as relationships