Bug#903143: RFA: dafny

2020-09-09 Thread Jörgen Brandt
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

2018-07-06 Thread Benjamin Barenblat
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