NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
▲100 theorems in Lean (leanprover-community.github.io)
11 points by ggzor 260 days ago | 0 comments
260 days ago [-]
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 14:51:12 GMT+0000 (Coordinated Universal Time) with Vercel.