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.67Drucken
]