| Name | Date | Size | |
|---|---|---|---|
| .. | 2016-01-17 16:45:11 | 17 | |
| children.yml | 2016-01-17 16:45:11 | 15.4 KiB | |
| mappings.yml | 2016-01-17 16:45:11 | 15.4 KiB | |
| ontology_versions.yml | 2016-01-17 16:45:11 | 15.4 KiB | |
| proof_attempt.yml | 2016-01-17 16:45:11 | 21.3 KiB | |
| proof_attempt_configuration.yml | 2016-01-17 16:45:11 | 17.7 KiB | |
| prover_output.yml | 2016-01-17 16:45:11 | 16.6 KiB | |
| sentences.yml | 2016-01-17 16:45:11 | 15.4 KiB | |
| symbols.yml | 2016-01-17 16:45:11 | 15.4 KiB | |
| theorem.yml | 2016-01-17 16:45:11 | 18.5 KiB |