| products/sources/formale Sprachen/Coq/plugins/rtauto/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: bnf_def.ML Sprache: Unknown
|
rahmenlose Ansicht.dune DruckansichtLatech {Latech[114] Fortran[215] Delphi[224]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] (library (name rtauto_plugin) (public_name coq.plugins.rtauto) (synopsis "Coq's rtauto plugin") (libraries coq.plugins.ltac)) [ Verzeichnis aufwärts0.48unsichere Verbindung ] |