2Hitze
2Antwort
Nachweis der Anwendung einer Substitution auf einen Begriff
1Hitze
2Antwort
Proof Allgemeines beschwerendes Skript unvollständig, wenn 2 Skripte gleichzeitig ausgeführt werden
3Hitze
1Antwort
Wie importiere ich Bibliotheken in Coq?
1Hitze
1Antwort
In Coq, wie definiert man eine Menge wie A = {x | f (x) = 0}?
0Hitze
1Antwort
Coq - Überschreiben von Gleichheit zum Hinzufügen von Elementen zum Set
2Hitze
1Antwort
2Hitze
1Antwort
3Hitze
1Antwort
So initialisieren Sie leere Hinweisdatenbank
7Hitze
1Antwort
Wie man den Modulnamen beim Extrahieren von Coq zu Haskell setzt
3Hitze
1Antwort
Warum braucht der Konstrukteur hier so lange?