Comment on Dafny is a verification-aware programming languageparentComments−junon2yStable rust is inherently compatible with nightly. Especially if they're in their own crate.
Comments
Stable rust is inherently compatible with nightly. Especially if they're in their own crate.