products/sources/formale sprachen/Coq/test-suite/ide/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: persistent_cache.ml   Sprache: Unknown

Spracherkennung für: .fake vermutete Sprache: SPS {SPS[94] Scala[101] Latech[130]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

ADD { Arguments id T x : rename. }
ADD { Lemma foo : True. }
ADD here { Proof. }
ADD { exact 3. }
ADD { Qed. }
WAIT
EDIT_AT here
ADD { Arguments id FOO BAR : rename. }
ADD { exact I. }
ADD { Qed. }
ADD { Arguments id T x : assert. }
JOIN

[ Dauer der Verarbeitung: 0.71 Sekunden  ]