HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by bk496 | Hacker News Reader
Full thread
bk496
·
How many of these are there?
View on HN
IshKebab
·
The main ones are Verus, Prusti and Creusot, but they take quite different approaches. This isn't redundant.
Reply on news.ycombinator.com