| products/sources/formale Sprachen/Coq/plugins/extraction/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: cdr006.cob Sprache: Cobol
|
Untersuchungsergebnis.dune Download desText {Text[111] Latech[129] Fortran[238]}zum Wurzelverzeichnis wechseln (library (name extraction_plugin) (public_name coq.plugins.extraction) (synopsis "Coq's extraction plugin") (libraries num coq.plugins.ltac)) [ zur Elbe Produktseite wechseln0.78Quellennavigators ] |