Hacker News new | ask | show | jobs
by IshKebab 417 days ago
The main ones are Verus, Prusti and Creusot, but they take quite different approaches. This isn't redundant.