YHacker News
Screenshot of terrytao.wordpress.com: What mathematicians should know about the Lean Theorem Prover: reliability & AI

First screen, captured .

Looks similar

Related stories