1Hitze
1Antwort
Nachweis eines Koinduktionsprinzips für co-natürliche Zahlen
2Hitze
2Antwort
Nachweis der Anwendung einer Substitution auf einen Begriff
6Hitze
2Antwort
Erhöhung der Fehlerstufe einer Coq-Taktik
1Hitze
1Antwort
"Ring" Taktik in CoqIde nicht akzeptiert
2Hitze
1Antwort
2Hitze
1Antwort
Äquivalent von `erinnere mich (f x) wie y Gl: H; klar H; löschen x`?
1Hitze
2Antwort
Warum sollte die Taktik "exakt" für Coq-Beweise vollständig sein?
1Hitze
1Antwort
Coq: Wie beweisen Sie max a b <= a + b?
1Hitze
1Antwort
verallgemeinernd Ausdrücke unter Bindemitteln
2Hitze
1Antwort
Verwenden von 'Entfalten' eines Fixpunkts innerhalb des rekursiven Schritts der Induktion