| products/Sources/formale Sprachen/Coq/plugins/ltac/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Sprache: VDM
|
Untersuchungsergebnis.dune Download desLatech {Latech[114] Fortran[215] Delphi[224]}zum Wurzelverzeichnis wechseln (library (name derive_plugin) (public_name coq.plugins.derive) (synopsis "Coq's derive plugin") (libraries coq.plugins.ltac)) [ zur Elbe Produktseite wechseln0.74Quellennavigators ] |