[Eridrus]

It's https://github.com/verus-lang/verus

It's not my own project, but it's doing basically the same thing you are doing which is why it is relevant.

[bneb-dev]

With 92 contributors, I'd bet that The Vera Project is much more mature.

Salt has some different ergonomics and performance goals though, which makes this project unique.

[Hugsbox]

So you're just going to gloss over all the rest of the very valid points he's making?