Untersuchungsergebnis.dune Download desText {Text[111] Latech[129] Fortran[238]}zum Wurzelverzeichnis wechseln
(library
(name extraction_plugin)
(public_name coq.plugins.extraction)
(synopsis "Coq's extraction plugin")
(libraries num coq.plugins.ltac))
[ zur Elbe Produktseite wechseln0.61Quellennavigators
]
