products
/
sources
/
formale Sprachen
/
Coq
/
plugins
/
omega
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Plugboard.vdmpp Sprache: Unknown
Untersuchungsergebnis.dune Download desLatech {Latech[113] Fortran[214] Delphi[223]}zum Wurzelverzeichnis wechseln
(library
(name omega_plugin)
(public_name coq.plugins.omega)
(synopsis
"Coq's omega plugin"
)
(libraries coq.plugins.ltac))
[ zur Elbe Produktseite wechseln0.65Quellennavigators
]