Formally verify a script in Coq | Hacker News

HN2new | past | comments | ask | show | jobs | submit

		Formally verify a script in Coq (clarus.me)
		2 points by p4bl0 on March 6, 2015 \| hide \| past \| favorite \| 1 comment

p4bl0 on March 6, 2015 [–]

See also the first part here: https://hackertimes.com/item?id=9156333.

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