3 ms·

Entering a proof into a physical proof checker is mathematics. That's what mathematicians are, after all. That's what publication is, or aspires to be, anyway.

• Tainnor 5y ago
  That is at most a very small part of doing mathematics.
  • ouid 5y ago
    You're not getting my point here. People are physical proof checkers. Proof is the language of mathematics. The language is not the content.
    • Tainnor 5y ago
      How does that relate to what I originally wrote?