| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/ (NIST Cobol Test-Suite ©) Datei vom 15.8.2025 mit Größe 220 B |
|
Quelle bug_4480.vSprache: Coq |
|||||||||||||||
|
Require Import Setoid. Definition proj (P Q : Prop) := P. Lemma foo (P : Prop) : proj P P = P. Admitted. Lemma trueI : True <-> True. Admitted. Goal True. Fail setoid_rewrite foo. Fail setoid_rewrite trueI. Abort.
¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-06-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09