Comment on Dafny is a verification-aware programming languageparentComments−junon2yIt 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.
Comments
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.