![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| AGInT/ | 15-Mar-2012 12:34 | - | |
| ART03/ | 26-Apr-2004 18:00 | - | |
| ART04/ | 05-Apr-2005 15:43 | - | |
| ART05/ | 16-Apr-2008 10:00 | - | |
| ATP/ | 15-Mar-2012 12:34 | - | |
| ATPProgress/ | 15-Mar-2012 12:34 | - | |
| ATPProofs/ | 16-Apr-2008 10:00 | - | |
| CASC/ | 15-Mar-2012 12:34 | - | |
| CSSCPA/ | 05-Apr-2005 15:43 | - | |
| CombiningProofs/ | 05-Oct-2011 12:24 | - | |
| DKRC/ | 20-Jun-2011 10:35 | - | |
| DifferentGoodProofs/ | 10-Jun-2010 14:07 | - | |
| Divvy/ | 16-May-2009 08:01 | - | |
| EvalCASC/ | 26-Feb-2009 08:24 | - | |
| Evaluate/ | 26-Apr-2004 17:59 | - | |
| EventCalculus/ | 05-Apr-2005 15:54 | - | |
| GDV/ | 27-Apr-2005 08:12 | - | |
| GLiDeS-M/ | 15-Mar-2012 12:34 | - | |
| GLiDeS/ | 15-Mar-2012 12:34 | - | |
| HRtoTPTP/ | 05-Apr-2005 15:45 | - | |
| Homogeneity/ | 05-Apr-2005 15:45 | - | |
| IDV/ | 15-Mar-2012 12:34 | - | |
| IWTPTP/ | 04-Aug-2008 07:42 | - | |
| MANSEX/ | 07-May-2009 06:06 | - | |
| MathsInTPTP/ | 15-Mar-2012 12:34 | - | |
| MizarVerification/ | 14-Oct-2007 14:10 | - | |
| ModalLogic/ | 15-Mar-2012 12:34 | - | |
| ProjectorProblem/ | 15-Mar-2012 12:34 | - | |
| Prophet/ | 15-Mar-2012 12:34 | - | |
| QMSDiscussion/ | 20-Jul-2010 10:41 | - | |
| QSTRLib/ | 01-Sep-2010 17:26 | - | |
| RedAx/ | 15-Mar-2012 12:34 | - | |
| Relevance/ | 26-Apr-2004 18:00 | - | |
| RichTheories/ | 26-Apr-2004 18:00 | - | |
| SAMHT/ | 22-Feb-2012 17:00 | - | |
| SPASS-XDB/ | 25-Feb-2011 15:09 | - | |
| SRASS/ | 12-Apr-2007 08:53 | - | |
| SSCPA/ | 15-Mar-2012 12:34 | - | |
| SZSOntologies/ | 22-Nov-2008 14:29 | - | |
| SigmaKEETPTP/ | 25-Jul-2008 04:15 | - | |
| StandardsAndTools/ | 05-Apr-2005 15:46 | - | |
| StarExec/ | 12-Oct-2010 08:45 | - | |
| SystemOnTPTP/ | 15-Mar-2012 12:34 | - | |
| TFF/ | 15-Mar-2012 12:34 | - | |
| THF/ | 16-Jun-2009 05:03 | - | |
| TPTP/ | 15-Mar-2012 12:34 | - | |
| TPTP2T/ | 15-Mar-2012 12:34 | - | |
| TPTP2TSTP/ | 26-Apr-2004 18:00 | - | |
| TPTPLanguage/ | 08-May-2006 11:02 | - | |
| TPTPWorld/ | 26-Jun-2011 13:26 | - | |
| TPTPetc/ | 10-Dec-2008 04:33 | - | |
| TSTP/ | 15-Mar-2012 12:34 | - | |
| TSTPStandards/ | 26-Apr-2004 18:00 | - | |
| Trilogy/ | 15-Mar-2012 12:34 | - | |
| Wos-AoAR/ | 15-Mar-2012 12:34 | - | |
| YuLM/ | 05-Apr-2005 16:17 | - | |