Bug#903143: RFA: dafny
Package: wnpp
Severity: normal
I request an adopter for the dafny package.
The package description is:
Dafny is a programming language with a program verifier. The verifier
processes function preconditions, postconditions, and assertions, and sends
them to an SMT solver for checking. In this way, assertion failures become
compiler errors, rather than runtime ones.
I'm no longer using Dafny, so my motivation to keep it up-to-date has
faded. If somebody else is interested in keeping it uploaded, they're
welcome to do so.
Reply to: