![]() | 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 | - | |