products
/
sources
/
formale Sprachen
/
Coq
/
plugins
/
nsatz
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Sprache: Unknown
Haftungsausschluß.dune KontaktText {Text[89] Latech[147] Fortran[256]}diese Dinge liegen außhalb unserer Verantwortung
(library
(name nsatz_plugin)
(public_name coq.plugins.nsatz)
(synopsis "Coq's nsatz solver plugin")
(libraries num coq.plugins.ltac))
[ Seitenstruktur0.93Drucken
]