3Hitze
1Antwort
Explizite Typindizes in Coqtop aktivieren?
3Hitze
1Antwort
Was macht das Typsystem von Coq in diesem Beispiel?
3Hitze
2Antwort
Software Foundations - automatische Einstufung
3Hitze
1Antwort
Nachweis Isomorphismus zwischen Martin-Lof-Gleichheit und Pfad Induktion in Coq
4Hitze
1Antwort
Coq zu OCaml Extraktion von algebraischen Typen
3Hitze
1Antwort
Zurückgeben eines Datensatzes aus einer Definition in Coq
1Hitze
1Antwort
Unbekannte Interpretation für "_/_" trotz Import Arith
7Hitze
3Antwort
Abhängige Typen: Vektor von Vektoren
5Hitze
1Antwort
Kanonische Strukturen in ssreflect
4Hitze
2Antwort
Anzahl der zufälligen Tests, die von QuickChick in Coq