| 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 ] |