Untersuchungsergebnis.dune Download desText {Text[96] Latech[170] Haskell[268]}zum Wurzelverzeichnis wechseln
(library
(name ground_plugin)
(public_name coq.plugins.firstorder)
(synopsis "Coq's first order logic solver plugin")
(libraries coq.plugins.ltac))
[ zur Elbe Produktseite wechseln0.158Quellennavigators
]