tptp.org website is severly broken.

[alexander-gabriel]

• links to subpages generally point to tptp.org domain, but that is down.
• the landing site is still available at www.tptp.org but all tested links (including the problem library and guides) on that lead to nowhere

[geoffgeoffgeoff3]

Hi Alexander,

Thanks for the report ...

• links to subpages generally point to tptp.org domain, but that is down.
• the landing site is still available at www.tptp.org but all tested links (including the problem library and guides) on that lead to nowhere

Yeah, I have been making changes, and hoped I had fixed all places. Evidently not :-( Can you point to the pages that have broken links, and if you have time say which links are broken on which pages. I'll fix! Please email me directly, as this is not a GitHub code issue: @. or @.

Thanks!

Cheers,

Geoff

-- Geoff Sutcliffe (Pronouns: words that refer to oneself/someone/something) Department of Computer Science, University of Miami, USA http://www.cs.miami.edu/~geoff

"My cat" is not a float. Every string should learn to swim. Despite the high cost of living, it's still surprisingly popular. Does superman wonder why we wear our overpants on the inside?