2Hitze
1Antwort
Dafny „keine Begriffe auf auszulösen gefunden“ Fehlermeldung
2Hitze
1Antwort
Dafny Einfügemethode, eine Nachbedingung möglicherweise nicht auf diesem Rückweg halten
1Hitze
1Antwort
Überprüfen eine Dafny Methode, die einen Bereich eines Arrays verschiebt
1Hitze
1Antwort
Warum gibt die Verwendung von new in einer Dafny-Funktion einen Fehler?
1Hitze
1Antwort
Wie stelle ich ein Paar (zwei Tupel) in Dafny dar?