TPTP World in the Summer Time

[Geoff Sutcliffe]

Hi TPTP World,

It's beautiful Sunday morning, so I have a treat for you! Play this YouTube video and sing along ... https://www.youtube.com/watch?v=fKSq_gmfe40

It's summer time

And the theorems are easy

Proofs are jumping

And the models are high

You might be rich

But the TPTP is bankrupt

So please TPTP users

Donate now ...

https://tptp.org/Support.html

I will be grateful for anything (and yes, I personally donate to Wikipedia :-).

Cheers,

Geoff