| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/ (NIST Cobol Test-Suite ©) Datei vom 15.8.2025 mit Größe 567 B |
|
Quelle bug_3743.vSprache: Coq |
|||||||||||||||
|
(* File reduced by coq-bug-finder from original input, then from 967 lines to 469 lines, then fr (* coqc version trunk (October 2014) compiled on Oct 11 2014 1:13:41 with OCaml 4.01.0 coqtop version cagnode16:/afs/csail.mit.edu/u/j/jgross/coq-trunk,trunk (d65496f09c4 Require Export Corelib.Setoids.Setoid. Add Parametric Relation A : A (@eq A) transitivity proved by transitivity as refine_rel. (* Toplevel input, characters 20-118: Anomaly: index to an anonymous variable. Please report. *)
¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet am 2026-06-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-27