4 ms·

As a theorist, not it goddamn doesn't.

• harveywi 10y ago
  What about an agda proof?
• jononor 10y ago
  How do you validate your theories?
  • eastWestMath 10y ago
    I prove them.