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