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