Hacker News new | ask | show | jobs
by bk496 417 days ago
How many of these are there?
1 comments
IshKebab 417 days ago
The main ones are Verus, Prusti and Creusot, but they take quite different approaches. This isn't redundant.
link