![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| YuLM/ | 2014-11-26 09:43 | - | |
| Wos-AoAR/ | 2019-08-30 11:48 | - | |
| WhiteBoard.html | 2016-09-29 04:27 | 75 | |
| VampireNOT/ | 2015-08-02 05:19 | - | |
| Trilogy/ | 2019-08-30 11:48 | - | |
| TranslationPaths/ | 2019-08-30 11:48 | - | |
| TSTPStandards/ | 2014-11-26 09:42 | - | |
| TSTP/ | 2019-08-30 11:48 | - | |
| TPTPetc/ | 2014-11-26 09:42 | - | |
| TPTPWorldTutorial/ | 2020-09-21 12:30 | - | |
| TPTPWorld/ | 2019-08-21 09:16 | - | |
| TPTPLanguage/ | 2014-11-26 09:43 | - | |
| TPTP2TSTP/ | 2014-11-26 09:42 | - | |
| TPTP2T/ | 2019-08-30 11:48 | - | |
| TPTP/ | 2019-08-30 11:48 | - | |
| TPI/ | 2014-11-26 09:42 | - | |
| TMTP/ | 2015-09-09 14:27 | - | |
| THF/ | 2014-11-26 09:42 | - | |
| TH1/ | 2016-04-28 10:29 | - | |
| TFX/ | 2018-07-09 16:52 | - | |
| TFF/ | 2019-08-30 11:48 | - | |
| SystemOnTPTP/ | 2019-08-30 11:48 | - | |
| StarExec/ | 2019-08-30 11:48 | - | |
| StandardsAndTools/ | 2014-11-26 09:42 | - | |
| SigmaKEETPTP/ | 2014-11-26 09:42 | - | |
| SZSOntologies/ | 2014-11-26 09:42 | - | |
| SSCPA/ | 2019-08-30 11:48 | - | |
| SRASS/ | 2014-11-26 09:42 | - | |
| SPASS-XDB/ | 2014-11-26 09:42 | - | |
| SAMHT/ | 2014-11-26 09:42 | - | |
| RichTheories/ | 2014-11-26 09:43 | - | |
| Relevance/ | 2014-11-26 09:43 | - | |
| RedAx/ | 2019-08-30 11:48 | - | |
| RM3/ | 2017-01-26 15:01 | - | |
| QSTRLib/ | 2014-11-26 09:42 | - | |
| QMSDiscussion/ | 2014-11-26 09:42 | - | |
| QEDAndTPTP/ | 2014-11-26 09:43 | - | |
| Prophet/ | 2019-08-30 11:48 | - | |
| ProjectorProblem/ | 2019-08-30 11:48 | - | |
| ModalLogic/ | 2019-08-30 11:48 | - | |
| MizarVerification/ | 2014-11-26 09:43 | - | |
| MathsInTPTP/ | 2019-08-30 11:48 | - | |
| MANSEX/ | 2014-11-26 09:43 | - | |
| JGXYZ/ | 2019-08-27 15:31 | - | |
| IWTPTP/ | 2014-11-26 09:42 | - | |
| IDV/ | 2019-08-30 11:48 | - | |
| HopingForTheTruth/ | 2016-05-16 22:31 | - | |
| Homogeneity/ | 2014-11-26 09:42 | - | |
| HRtoTPTP/ | 2014-11-26 09:42 | - | |
| GLiDeS/ | 2019-08-30 11:48 | - | |
| GLiDeS-M/ | 2019-08-30 11:48 | - | |
| GDV/ | 2014-11-26 09:43 | - | |
| FDE/ | 2018-05-22 15:58 | - | |
| EventCalculus/ | 2014-11-26 09:42 | - | |
| Evaluate/ | 2014-11-26 09:42 | - | |
| EvalCASC/ | 2014-11-26 09:42 | - | |
| Divvy/ | 2014-11-26 09:43 | - | |
| DifferentGoodProofs/ | 2014-11-26 09:42 | - | |
| DLF/ | 2019-08-30 11:48 | - | |
| DKRC/ | 2014-11-26 09:43 | - | |
| CombiningProofs/ | 2014-11-26 09:42 | - | |
| CSSCPA/ | 2014-11-26 09:42 | - | |
| CASC/ | 2020-06-19 09:49 | - | |
| ATPProofs/ | 2014-11-26 09:42 | - | |
| ATPProgress/ | 2019-08-30 11:48 | - | |
| ATP/ | 2020-09-24 13:47 | - | |
| ART05/ | 2014-11-26 09:42 | - | |
| ART04/ | 2014-11-26 09:42 | - | |
| ART03/ | 2014-11-26 09:42 | - | |
| AGInT/ | 2019-08-30 11:48 | - | |