Cogent: Code and Proof Co-Generation | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

		Cogent: Code and Proof Co-Generation (github.com/nicta)
		2 points by tluyben2 on May 7, 2016 \| hide \| past \| favorite

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