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