Bug#903143: RFA: dafny
Hello, I would like to help maintain this package. What would be the first step for me to take? Cheers Jörgen
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