NHacker Next on Rails
  • top
  • new
  • best
  • ask
  • show
  • jobs
login
GuidelinesFAQListsAPISecurityLegalApply to YCContact

Hacker News on Rails, powered by React on Rails Pro. Open the source on GitHub by ShakaCode.

Commit 06fc0df

Rendered at 18:25:14 GMT+0000 (Coordinated Universal Time) with Rails + React on Rails RSC.

How to Formalize All of Mathematics (xenaproject.wordpress.com)

97 points by practal 5d ago | 87 comments