| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 30-Oct-2020 | 18 | ||
| Benchmarks/ | H | 25-Jul-2019 | 6 | |
| CCL/ | H | 30-Oct-2020 | 14 | |
| CTT/ | H | 30-Oct-2020 | 7 | |
| Cube/ | H | 25-Jul-2019 | 5 | |
| Doc/ | H | 30-Oct-2020 | 38 | |
| FOL/ | H | 30-Oct-2020 | 10 | |
| FOLP/ | H | 30-Oct-2020 | 11 | |
| HOL/ | H | 30-Oct-2020 | 171 | |
| LCF/ | H | 30-Oct-2020 | 5 | |
| Provers/ | H | 30-Oct-2020 | 14 | |
| Pure/ | H | 30-Oct-2020 | 82 | |
| Sequents/ | H | 30-Oct-2020 | 17 | |
| Tools/ | H | 30-Oct-2020 | 33 | |
| ZF/ | H | 30-Oct-2020 | 56 |