| Name | Date | Size | |
|---|---|---|---|
| .. | 2013-09-26 15:25:32 | 20 | |
| .gitignore | 1970-01-01 01:00:00 | 0 | |
| LogicGraph.xml | 1970-01-01 01:00:00 | 0 | |
| ontologies | 1970-01-01 01:00:00 | 0 | |
| oops | 1970-01-01 01:00:00 | 0 | |
| prover_output | 1970-01-01 01:00:00 | 0 | |
| seeds | 1970-01-01 01:00:00 | 0 | |
| vcr | 1970-01-01 01:00:00 | 0 |