Untersuchungsergebnis.dune Download desLatech {Latech[114] Fortran[215] Delphi[224]}zum Wurzelverzeichnis wechseln
(library
(name derive_plugin)
(public_name coq.plugins.derive)
(synopsis "Coq's derive plugin")
(libraries coq.plugins.ltac))
[ zur Elbe Produktseite wechseln0.59Quellennavigators
]
