| Name | Date | Size | |
|---|---|---|---|
| .. | 2016-08-10 00:30:31 | 14 | |
| .gitignore | 2014-12-15 11:30:55 | 7 | |
| LogicGraph.xml | 2015-03-31 07:59:42 | 38.6 KiB | |
| ontologies | 2016-08-10 00:30:31 | 10 | |
| oops | 2014-12-15 11:30:55 | 5 | |
| prover_output | 2015-11-30 10:19:27 | 5 | |
| seeds | 2016-01-23 14:34:43 | 4 | |
| vcr | 2016-01-17 16:45:11 | 5 |