4 ms·
Amazing project! How do they make sure that there are no mistakes in the definitions or theorems? Do they add the proofs of the theorems as well?
by manx 6y ago
Amazing project!
How do they make sure that there are no mistakes in the definitions or theorems? Do they add the proofs of the theorems as well?