chapter AFP
session "Crypto_Standards" = "HOL-Number_Theory" +
description
"Translations of and supporting theories for a collection of crytographic standards."
options [timeout = 7200]
sessions
"Elliptic_Curves_Group_Law"
"HOL-Library"
"HOL-Decision_Procs"
theories
Crypto_Standards
Test_Vectors
document_files
"root.tex"
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.10Angebot
(Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-09-08)
¤
*Eine klare Vorstellung vom Zielzustand
