Comment on TheoremDB – A public workspace for machine mathematicsparentComments−woopsn1moA proof may be impossible to fully grok, since about Leibniz - but problems will be solved now without even understanding the problem statement.
Comments
A proof may be impossible to fully grok, since about Leibniz - but problems will be solved now without even understanding the problem statement.