|
chapter HOL
session "HOL-Datatype_Benchmark" in Datatype_Benchmark = "HOL-Library" +
description "
Big (co)datatypes.
"
theories
Brackin
IsaFoR
Misc_N2M
session "HOL-Quickcheck_Benchmark" in Quickcheck_Benchmark = "HOL-Library" +
theories [quick_and_dirty]
Find_Unused_Assms_Examples
Needham_Schroeder_No_Attacker_Example
Needham_Schroeder_Guided_Attacker_Example
Needham_Schroeder_Unguided_Attacker_Example
session "HOL-Record_Benchmark" in Record_Benchmark = HOL +
description "
Big records.
"
theories
Record_Benchmark
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
|
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.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
