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