Formally verify a script in Coq | Hacker News

Hacker Timesnew | 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://qht.co/item?id=9156333.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact