News for hackers. Stuff that matters.
Re:Dafny is a verification-aware programming language by junon on Wednesday April 24, 2024 @05:27AM (#40142270)
It actually appears they have a rust backend, it just isn't listed in the readme.

It's also a myth that you can't generate stable rust.

There are no comments on this comment yet.