Untersuchungsergebnis.dune Download desLatech {Latech[113] Fortran[214] Delphi[223]}zum Wurzelverzeichnis wechseln
(library
(name omega_plugin)
(public_name coq.plugins.omega)
(synopsis "Coq's omega plugin")
(libraries coq.plugins.ltac))
[ zur Elbe Produktseite wechseln0.83Quellennavigators
]