NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
▲Anatomy of a Lean proof for software engineers (agostbiro.net)
48 points by abiro 1 days ago | 1 comment
watt 20 minutes ago [-]
This Lean stuff is gibberish and I don't understand why somebody thinks it's going to somehow make things better or simpler to understand.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 21:33:49 GMT+0000 (Coordinated Universal Time) with Vercel.