products/sources/formale sprachen/Coq/plugins/micromega/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: plugin_base.dune   Sprache: Unknown

Spracherkennung für: .dune vermutete Sprache: Latech {Latech[74] Isabelle[188] Cobol[228]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

(library
 (name micromega_plugin)
 (public_name coq.plugins.micromega)
 ; be careful not to link the executable to the plugin!
 (modules (:standard \ csdpcert))
 (synopsis "Coq's micromega plugin")
 (libraries num coq.plugins.ltac))

(executable
 (name csdpcert)
 (public_name csdpcert)
 (package coq)
 (modules csdpcert)
 (flags :standard -open Micromega_plugin)
 (libraries coq.plugins.micromega))

[ Dauer der Verarbeitung: 0.49 Sekunden  ]