0Hitze
2Antwort
Interaktion zwischen Klassen und Auto-Taktik
1Hitze
2Antwort
Wie man Emacs steuert, um Fenster zu teilen, wenn Coq zu interpretieren
2Hitze
2Antwort
Wie kann ich (Gleichheit) von zwei Elementen desselben Sets in Coq vergleichen?
1Hitze
2Antwort
Warum sollte die Taktik "exakt" für Coq-Beweise vollständig sein?
0Hitze
1Antwort
Wie definiert man stückweise Funktion von natürlichen zu natürlichen in Coq
1Hitze
1Antwort
Portierung (einfach typisiert) Lambda Kalkül Term Sättigung Beweis von Coq Agda
1Hitze
1Antwort
Coq: Wie beweisen Sie max a b <= a + b?
1Hitze
1Antwort
verallgemeinernd Ausdrücke unter Bindemitteln
4Hitze
3Antwort
Coq-Induktion mit Gleichheitsübergabe
3Hitze
1Antwort
Ruft die Liste der extrahierten Dateien ab, wenn die rekursive Extraktionsbibliothek verwendet wird