Artifacts of isabelle-nightly-benchmark #1152
HOL.db | Mar 24, 2020, 12:55:41 AM | 44.00 KiB | ||
HOL.gz | Mar 24, 2020, 12:55:40 AM | 143.41 KiB | ||
HOL-Analysis.db | Mar 24, 2020, 1:02:10 AM | 72.00 KiB | ||
HOL-Analysis.gz | Mar 24, 2020, 1:02:10 AM | 31.95 KiB | ||
HOL-Cardinals.db | Mar 24, 2020, 1:02:20 AM | 20.00 KiB | ||
HOL-Cardinals.gz | Mar 24, 2020, 1:02:20 AM | 644 B | ||
HOL-Complex_Analysis.db | Mar 24, 2020, 1:02:20 AM | 20.00 KiB | ||
Pure.db | Mar 24, 2020, 12:51:36 AM | 48.00 KiB | ||
Pure.gz | Mar 24, 2020, 12:51:36 AM | 86.85 KiB | ||