NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
▲What does a lean proof prove? (supaiku.com)
4 points by elcomet 4 days ago | 1 comment
fjfaase 4 days ago [-]
Interesting. A bit similar to bootstrapping.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 11:24:50 GMT+0000 (Coordinated Universal Time) with Vercel.