Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Hyperdual/ (Sammlung formaler Beweise Version 2026-5^©) Datei vom 31.4.2026 mit Größe 60 kB

SSL ROOT

Interaktion und
PortierbarkeitIsabelle

chapter AFP

session Containers = "Deriving" +
  options [timeout = 600]
  sessions
    "Finger-Trees"
    "Regular-Sets"
    Automatic_Refinement
    Collections
  directories
    "Examples"
  theories
    Containers_Auxiliary
    Card_Datatype
    Set_Linorder
    Collection_Order
    List_Proper_Interval
    Containers
    Compatibility_Containers_Regular_Sets
    Containers_Userguide
  theories [document = false]
    "Examples/Card_Datatype_Ex"
    "Examples/Map_To_Mapping_Ex"
    "Examples/TwoSat_Ex"
    "Examples/Containers_DFS_Ex"
    "Examples/Containers_TwoSat_Ex"
  document_files
    "root.tex"
    "root.bib"

session "Containers-Benchmarks" in "ITP-2013" = Containers +
  options [timeout = 1200]
  sessions
    Trie
  theories
    Benchmark_Bool
    Benchmark_LC
    Benchmark_Default
    Benchmark_ICF
    Benchmark_RBT
    Benchmark_Set_Default
    Benchmark_Set_LC
    Clauses

Messung V0.5 in Prozent

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.1Angebot (Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-06-10) ¤

*Eine klare Vorstellung vom Zielzustand

Entwurf

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.