Hi TPTP World users, etc.,
I am pleased to announce that
Michael Rawson is joining me in maintaining and developing the TPTP World. Michael's knowledge and skills will open new possibilities in the TPTP World, and will help keep the TPTP World alive into the future. Welcome Michael!
Cheers,
Geoff