![[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 | - | ||
| AChatWithBard/ | 2023-05-30 13:27 | - | |
| AGInT/ | 2023-11-20 07:49 | - | |
| AGMV/ | 2023-11-22 03:51 | - | |
| ART03/ | 2014-11-26 09:42 | - | |
| ART04/ | 2014-11-26 09:42 | - | |
| ART05/ | 2014-11-26 09:42 | - | |
| ATP/ | 2023-11-14 03:08 | - | |
| ATPProgress/ | 2019-08-30 11:48 | - | |
| CASC/ | 2022-08-06 15:34 | - | |
| CSSCPA/ | 2014-11-26 09:42 | - | |
| CombiningProofs/ | 2014-11-26 09:42 | - | |
| DKRC/ | 2014-11-26 09:43 | - | |
| DLF/ | 2019-08-30 11:48 | - | |
| DifferentGoodProofs/ | 2014-11-26 09:42 | - | |
| Divvy/ | 2014-11-26 09:43 | - | |
| EvalCASC/ | 2014-11-26 09:42 | - | |
| Evaluate/ | 2014-11-26 09:42 | - | |
| EventCalculus/ | 2014-11-26 09:42 | - | |
| FDE/ | 2018-05-22 15:58 | - | |
| GDV/ | 2014-11-26 09:43 | - | |
| GLiDeS-M/ | 2019-08-30 11:48 | - | |
| GLiDeS/ | 2019-08-30 11:48 | - | |
| GMV/ | 2022-09-23 07:54 | - | |
| HRtoTPTP/ | 2014-11-26 09:42 | - | |
| Homogeneity/ | 2014-11-26 09:42 | - | |
| HopingForTheTruth/ | 2016-05-16 22:31 | - | |
| IDV/ | 2023-05-23 23:38 | - | |
| IIV/ | 2023-05-29 14:22 | - | |
| IWTPTP/ | 2014-11-26 09:42 | - | |
| JGXYZ/ | 2019-08-27 15:31 | - | |
| MANSEX/ | 2014-11-26 09:43 | - | |
| MathsInTPTP/ | 2019-08-30 11:48 | - | |
| MizarVerification/ | 2014-11-26 09:43 | - | |
| ModalLogic/ | 2019-08-30 11:48 | - | |
| MoralMachine/ | 2021-10-15 09:28 | - | |
| NonClassical/ | 2023-05-25 13:15 | - | |
| ProjectorProblem/ | 2019-08-30 11:48 | - | |
| Prophet/ | 2019-08-30 11:48 | - | |
| PyResFOF/ | 2021-07-09 08:09 | - | |
| QEDAndTPTP/ | 2014-11-26 09:43 | - | |
| QMLTPinTHF/ | 2022-08-06 07:02 | - | |
| QMSDiscussion/ | 2014-11-26 09:42 | - | |
| QSTRLib/ | 2014-11-26 09:42 | - | |
| RM3/ | 2017-01-26 15:01 | - | |
| RedAx/ | 2019-08-30 11:48 | - | |
| Relevance/ | 2014-11-26 09:43 | - | |
| RichTheories/ | 2014-11-26 09:43 | - | |
| SAMHT/ | 2014-11-26 09:42 | - | |
| SPASS-XDB/ | 2014-11-26 09:42 | - | |
| SRASS/ | 2014-11-26 09:42 | - | |
| SSCPA/ | 2023-05-25 19:08 | - | |
| SZSOntologies/ | 2014-11-26 09:42 | - | |
| SigmaKEETPTP/ | 2014-11-26 09:42 | - | |
| StandardsAndTools/ | 2014-11-26 09:42 | - | |
| StarExec/ | 2019-08-30 11:48 | - | |
| SystemOnTPTP/ | 2019-08-30 11:48 | - | |
| TDTP/ | 2022-07-30 14:38 | - | |
| TFF/ | 2019-08-30 11:48 | - | |
| TH1/ | 2016-04-28 10:29 | - | |
| THF/ | 2014-11-26 09:42 | - | |
| TMTP/ | 2015-09-09 14:27 | - | |
| TPI/ | 2014-11-26 09:42 | - | |
| TPTP/ | 2022-07-28 13:31 | - | |
| TPTP2T/ | 2019-08-30 11:48 | - | |
| TPTP2TSTP/ | 2014-11-26 09:42 | - | |
| TPTPInterpretations/ | 2023-10-12 09:40 | - | |
| TPTPLanguage/ | 2014-11-26 09:43 | - | |
| TPTPLogicLanguages/ | 2022-08-06 03:15 | - | |
| TPTPProofsAndModels/ | 2022-08-06 03:16 | - | |
| TPTPTeaParty/ | 2023-09-29 09:05 | - | |
| TPTPWorld/ | 2021-11-02 15:36 | - | |
| TPTPWorldExpansion/ | 2021-07-14 10:52 | - | |
| TPTPWorldFuture/ | 2021-07-14 10:54 | - | |
| TPTPWorldTutorial/ | 2020-09-21 12:30 | - | |
| TSTP/ | 2023-07-12 06:44 | - | |
| TSTPStandards/ | 2014-11-26 09:42 | - | |
| TXF/ | 2023-05-25 13:21 | - | |
| TarskianInterpretati..> | 2023-06-07 22:44 | - | |
| TranslationPaths/ | 2019-08-30 11:48 | - | |
| Trilogy/ | 2019-08-30 11:48 | - | |
| VampireNOT/ | 2015-08-02 05:19 | - | |
| WhiteBoard.html | 2016-09-29 04:27 | 75 | |
| Wos-AoAR/ | 2019-08-30 11:48 | - | |
| WosMemoriam/ | 2021-11-18 14:18 | - | |
| YuLM/ | 2014-11-26 09:43 | - | |