NHacker Next
  • new
  • show
  • ask
  • jobs
  • submit
login
The Stacks Project, Formalized in Leanaxiommath.ai
62 points by namanbnsl 8 hours ago | 14 comments