| 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 ] |