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
]