The part that is actually quite beautiful is that it's not about erasing hallucination or catching mistakes. Instead, it's about including the rigor of a mathematical proof in the process before they happen.
2w ago
Underscored — save the words that stop you in your tracks.
