| Name | Date | Size | |
|---|---|---|---|
| .. | 2016-01-17 16:45:11 | 3 | |
| action.yml | 2016-01-17 16:45:11 | 7.1 KiB | |
| formality_level.yml | 2016-01-17 16:45:11 | 7.1 KiB | |
| license_model.yml | 2016-01-17 16:45:11 | 7.9 KiB | |
| logic.yml | 2016-01-17 16:45:11 | 7.4 KiB | |
| logic_mapping.yml | 2016-01-17 16:45:11 | 18.4 KiB | |
| mapping.yml | 2016-01-17 16:45:11 | 17.9 KiB | |
| ontology | 2016-01-17 16:45:11 | 11 | |
| ontology.yml | 2016-01-17 16:45:11 | 20.4 KiB | |
| ontology_type.yml | 2016-01-17 16:45:11 | 8 KiB | |
| ontology_version.yml | 2016-01-17 16:45:11 | 17.9 KiB | |
| proof_status.yml | 2016-01-17 16:45:11 | 7.3 KiB | |
| repository | 2016-01-17 16:45:11 | 3 | |
| repository.yml | 2016-01-17 16:45:11 | 8.5 KiB | |
| sentence.yml | 2016-01-17 16:45:11 | 17.8 KiB | |
| symbol.yml | 2016-01-17 16:45:11 | 17.8 KiB |