| Quellcodebibliothek Statistik Leitseite products/Sources (NIST Cobol Test-Suite ©) Datei vom mit Größe 0 B |
|
Quellcode-Bibliothek bug_14712.v Sprache: Coq |
|||||||||||||||
|
Goal True. abstract exact I. Type Unnamed_thm_subproof. (* succeeds *) Qed. (* fails highlighting "Unnamed_thm_subproof" above, as if replayed *)
¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.0Bemerkung: (vorverarbeitet am 2026-09-29) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-10-10