TGTP

(redirected from The Great Theorem Prover)
AcronymDefinition
TGTPTexas Guaranteed Tuition Plan
TGTPThe Great Theorem Prover (mathematical software)