Artifacts of isabelle-nightly-benchmark #1165
HOL.db | Apr 8, 2020, 12:55:41 AM | 44.00 KiB | ||
HOL.gz | Apr 8, 2020, 12:55:40 AM | 143.73 KiB | ||
HOL-Analysis.db | Apr 8, 2020, 1:02:12 AM | 68.00 KiB | ||
HOL-Analysis.gz | Apr 8, 2020, 1:02:11 AM | 29.45 KiB | ||
HOL-Cardinals.db | Apr 8, 2020, 1:02:21 AM | 20.00 KiB | ||
HOL-Cardinals.gz | Apr 8, 2020, 1:02:21 AM | 650 B | ||
HOL-Complex_Analysis.db | Apr 8, 2020, 1:02:21 AM | 20.00 KiB | ||
Pure.db | Apr 8, 2020, 12:51:33 AM | 48.00 KiB | ||
Pure.gz | Apr 8, 2020, 12:51:33 AM | 68.47 KiB | ||