| products/Sources/formale Sprachen/Coq/plugins/cc/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Sprache: Unknown
|
Haftungsausschluß.dune KontaktText {Text[108] Latech[126] Fortran[235]}diese Dinge liegen außhalb unserer Verantwortung (library (name cc_plugin) (public_name coq.plugins.cc) (synopsis "Coq's congruence closure plugin") (libraries coq.plugins.ltac)) [ Seitenstruktur0.57Drucken ] |