| products/sources/formale sprachen/Coq/plugins/setoid_ring/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Ncring_initial.v Sprache: Coq
|
Untersuchungsergebnis.dune Download desText {Text[110] Latech[128] Fortran[237]}zum Wurzelverzeichnis wechseln (library (name newring_plugin) (public_name coq.plugins.setoid_ring) (synopsis "Coq's setoid ring plugin") (libraries coq.plugins.ltac)) [ zur Elbe Produktseite wechseln0.67Quellennavigators ] |