Untersuchungsergebnis.dune Download desText {Text[108] Latech[126] Fortran[235]}zum Wurzelverzeichnis wechseln
(library
(name cc_plugin)
(public_name coq.plugins.cc)
(synopsis "Coq's congruence closure plugin")
(libraries coq.plugins.ltac))
[ zur Elbe Produktseite wechseln0.54Quellennavigators
]