| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/IsaNet/ (Sammlung formaler Beweise Version 2026-5©) Datei vom 29.4.2026 mit Größe 843 B |
|
Quelle All_Protocols.thySprache: Isabelle |
|||||||||||||||
|
(******************************************************************************* Project: IsaNet Author: Tobias Klenze, ETH Zurich <tobias.klenze@inf.ethz.ch> Version: JCSPaper.1.0 Isabelle Version: Isabelle2021-1 Copyright (c) 2022 Tobias Klenze, Christoph Sprenger Licence: Mozilla Public License 2.0 (MPL) / BSD-3-Clause (dual license) *******************************************************************************) section‹All Protocols› text‹We import all protocols.› theory All_Protocols imports "instances/SCION" "instances/SCION_variant" "instances/EPIC_L1_BA" "instances/EPIC_L1_SA" "instances/EPIC_L1_SA_Example" "instances/EPIC_L2_SA" "instances/ICING" "instances/ICING_variant" "instances/ICING_variant2" "instances/Anapaya_SCION" begin end
¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet am 2026-06-10) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-06-09