-1Hitze
1Antwort
Nachweis der komplizierten wenig - o-Anweisung
0Hitze
1Antwort
-1Hitze
2Antwort
Wie bekomme ich Komplexität mit Division?
0Hitze
1Antwort
Wie wird dieser Kommutativitätsnachweis mit `replace` vervollständigt?
0Hitze
2Antwort
Ermitteln mehrerer der engsten Paare in der Ebene
0Hitze
1Antwort
Wie um zu beweisen, eine SPARK.Text_IO Verfahren Voraussetzung
3Hitze
1Antwort
0Hitze
2Antwort
Beweisen Sie, dass n mal eine gerade Zahl eine gerade Zahl in Agda
3Hitze
1Antwort
Beweisen Sie, dass ein binärer Baum mit n Blättern eine Höhe von mindestens log n hat
2Hitze
1Antwort
Koinduktion auf Coq, Typ Mismatch