← Home
§4
Blog
- Remark
Lean is making mathematicians apologize over and over
In Lean, skipping a step in a proof means typing one word, sorry. A short history of that word, and what it says about how much math is still left to formalize.
Read more →
Nothing of this kind yet.