363849473754

4 ms·

1. 31.▲
   Overloaded Terminology in Mathematics(reddit.com)

   2 points by 363849473754 5y ago|0 comments
2. 32.▲
   by 363849473754 5y ago

   This is a proof assistant, not an automated theorem prover. The user has to supply* the mathematics and the proof checker formally verifies whether or not the steps are correct. It doesn’t have any creativity (that’s up to the mathematician