| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/ Datei vom 15.8.2025 mit Größe 104 B |
|
Quelle bug_11816.v Sprache: Coq |
|||||||||
|
(* This should be an error, not an anomaly *)
Fail Definition foo := fix foo (n : nat) { wf n n } := 0. ¤ Dauer der Verarbeitung: 0.4 Sekunden ¤*© Formatika GbR, Deutschland |
|
2026-03-28