How many of these are there? | Hacker News

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

		bk496 10 months ago \| parent \| context \| favorite \| on: Verus: Verified Rust for low-level systems code How many of these are there?

IshKebab 10 months ago [–]

The main ones are Verus, Prusti and Creusot, but they take quite different approaches. This isn't redundant.

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