Hacker News new | past | comments | ask | show | jobs | submit login

I don’t know if it’s recency bias or some other cognitive distortion on my part but I seem to be seeing more and more stories about Lean and formalizing mathematics recently. Perhaps the project is gaining some momentum!



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: