| products/sources/formale Sprachen/Coq/plugins/cc/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: thy_header.ML Sprache: Unknown
|
rahmenlose Ansicht.dune DruckansichtText {Text[108] Latech[126] Fortran[235]}Entwicklung (library (name cc_plugin) (public_name coq.plugins.cc) (synopsis "Coq's congruence closure plugin") (libraries coq.plugins.ltac)) [ Verzeichnis aufwärts0.46unsichere Verbindung ] |