Haftungsausschluß.dune KontaktText {Text[96] Latech[170] Haskell[268]}diese Dinge liegen außhalb unserer Verantwortung
(library
(name ground_plugin)
(public_name coq.plugins.firstorder)
(synopsis "Coq's first order logic solver plugin")
(libraries coq.plugins.ltac))
[ Seitenstruktur0.54Drucken
]