NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
▲Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem (github.com)
6 points by jsLavaGoat 5 hours ago | 0 comments
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 22:10:24 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.