![[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/ | 2024-10-04 17:41 | - | |
| WosMemoriam/ | 2024-10-04 17:41 | - | |
| Wos-AoAR/ | 2024-10-04 17:41 | - | |
| WhiteBoard.html | 2024-10-04 17:41 | 75 | |
| VampireNOT/ | 2024-10-04 17:41 | - | |
| Trilogy/ | 2024-10-04 17:27 | - | |
| TranslationPaths/ | 2024-10-04 17:41 | - | |
| TarskianInterpretations/ | 2024-10-04 17:41 | - | |
| TXF/ | 2024-10-04 17:41 | - | |
| TSTPStandards/ | 2024-10-04 17:41 | - | |
| TSTP/ | 2024-10-04 17:27 | - | |
| TPTPWorldTutorial.html | 2024-10-04 17:41 | 241 | |
| TPTPWorldSteppingStones/ | 2024-10-04 17:41 | - | |
| TPTPWorldFuture/ | 2024-10-04 17:41 | - | |
| TPTPWorldExpansion/ | 2024-10-04 17:41 | - | |
| TPTPWorld/ | 2024-10-04 17:27 | - | |
| TPTPTeaParty/ | 2024-10-04 17:27 | - | |
| TPTPProofsAndModels/ | 2024-10-04 17:41 | - | |
| TPTPLogicLanguages/ | 2024-10-04 17:41 | - | |
| TPTPLanguage/ | 2024-10-04 17:41 | - | |
| TPTPInterpretations/ | 2024-10-04 17:41 | - | |
| TPTP2TSTP/ | 2024-10-04 17:41 | - | |
| TPTP2T/ | 2024-10-04 17:41 | - | |
| TPTP/ | 2024-10-04 17:41 | - | |
| TPI/ | 2024-10-04 17:41 | - | |
| TMTP/ | 2024-10-04 17:27 | - | |
| THF/ | 2024-10-04 17:27 | - | |
| TH1/ | 2024-10-04 17:27 | - | |
| TFF/ | 2024-10-04 17:27 | - | |
| TDTP/ | 2024-10-04 17:41 | - | |
| SystemOnTPTP/ | 2024-10-04 17:27 | - | |
| StarExecARC/ | 2024-10-04 17:41 | - | |
| StandardsAndTools/ | 2024-10-04 17:27 | - | |
| SigmaKEETPTP/ | 2024-10-04 17:27 | - | |
| SZSOntologies/ | 2024-10-04 17:41 | - | |
| SSCPA/ | 2024-10-04 17:27 | - | |
| SRASS/ | 2024-10-04 17:41 | - | |
| SPCs/ | 2024-10-04 17:41 | - | |
| SPASS-XDB/ | 2024-10-04 17:41 | - | |
| SAMHT/ | 2024-10-04 17:41 | - | |
| RichTheories/ | 2024-10-04 17:41 | - | |
| Relevance/ | 2024-10-04 17:41 | - | |
| RedAx/ | 2024-10-04 17:41 | - | |
| RM3/ | 2024-10-04 17:27 | - | |
| QSTRLib/ | 2024-10-04 17:41 | - | |
| QMSDiscussion/ | 2024-10-04 17:41 | - | |
| QMLTPinTHF/ | 2024-10-04 17:41 | - | |
| QEDAndTPTP/ | 2024-10-04 17:27 | - | |
| PyResFOF/ | 2024-10-04 17:27 | - | |
| Prophet/ | 2024-10-04 17:27 | - | |
| ProjectorProblem/ | 2024-10-04 17:27 | - | |
| NonClassical/ | 2024-10-04 17:41 | - | |
| MoralMachine/ | 2024-10-04 17:41 | - | |
| ModalLogic/ | 2024-10-04 17:41 | - | |
| MizarVerification/ | 2024-10-04 17:41 | - | |
| MathsInTPTP/ | 2024-10-04 17:27 | - | |
| MANSEX/ | 2024-10-04 17:41 | - | |
| JGXYZ/ | 2024-10-04 17:27 | - | |
| IWTPTP/ | 2024-10-04 17:41 | - | |
| IIV/ | 2024-10-04 17:41 | - | |
| IDV/ | 2024-10-04 17:41 | - | |
| HopingForTheTruth/ | 2024-10-04 17:27 | - | |
| Homogeneity/ | 2024-10-04 17:41 | - | |
| HRtoTPTP/ | 2024-10-04 17:41 | - | |
| GMV/ | 2024-10-04 17:41 | - | |
| GLiDeS/ | 2024-10-04 17:41 | - | |
| GLiDeS-M/ | 2024-10-04 17:41 | - | |
| GDV/ | 2024-10-04 17:41 | - | |
| FDE/ | 2024-10-04 17:41 | - | |
| EventCalculus/ | 2024-10-04 17:41 | - | |
| Evaluate/ | 2024-10-04 17:41 | - | |
| EvalCASC/ | 2024-10-04 17:41 | - | |
| Divvy/ | 2024-10-04 17:41 | - | |
| DifferentGoodProofs/ | 2024-10-04 17:41 | - | |
| DLF/ | 2024-10-04 17:41 | - | |
| DKRC/ | 2024-10-04 17:41 | - | |
| CombiningProofs/ | 2024-10-04 17:27 | - | |
| CSSCPA/ | 2024-10-04 17:41 | - | |
| CASC/ | 2024-10-04 17:27 | - | |
| ATPProgress/ | 2024-10-04 17:41 | - | |
| ATP/ | 2024-10-04 17:41 | - | |
| AGMV/ | 2024-10-04 17:41 | - | |
| AGInT/ | 2024-10-04 17:41 | - | |
| AChatWithBard/ | 2024-10-04 17:27 | - | |