YHK - yet another hacker news clone
What mathematicians should know about the Lean Theorem Prover: reliability & AI
7 points matt_d 4 hours ago No comments