What does a lean proof prove? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		What does a lean proof prove? (supaiku.com)
		5 points by elcomet 16 days ago \| hide \| past \| favorite \| 1 comment

fjfaase 16 days ago [–]

Interesting. A bit similar to bootstrapping.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact