Creusot helps you prove your Rust code is correct | Hacker News

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

		Creusot helps you prove your Rust code is correct (github.com/creusot-rs)
		30 points by fanf2 1 hour ago \| hide \| past \| favorite \| 1 comment

		help

giltho 42 minutes ago [–]

Fantastic work

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