| products/Sources/formale Sprachen/Coq/plugins/fourier/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Quantifiers.thy Sprache: Unknown
|
rahmenlose Ansicht.dune DruckansichtLatech {Latech[114] Fortran[215] Delphi[224]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] (library (name fourier_plugin) (public_name coq.plugins.fourier) (synopsis "Coq's fourier plugin") (libraries coq.plugins.ltac)) [ Verzeichnis aufwärts0.45unsichere Verbindung ] |