What are the best verification projects according to HackerNews?

dafny
13 comments
immudb
6 comments
prusti-dev
5 comments
creusot
4 comments
alive2
3 comments
cryptominisat
3 comments
kani
3 comments