products/sources/formale Sprachen/Coq/plugins/rtauto image not shown  

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  ]