Formalizing the Enormous Theorem | Hacker News

new | ask | show | jobs

Formalizing the Enormous Theorem (axiommath.ai)

1 point by gmays 5 hours ago | discuss

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

Search:

yet another Hacker News client · github.com/reiuyuu/nhn