🚀 go-pugleaf

I suppose this is a FAQ so I'll tender my apologies first.  But are
there any ftp'able logic problem sets on the net (preferably in infix
notation).  I  am interested in problems in any logic (Classical,
paraconsistent, relevant, etc); theorems as well as nontheorems.
The larger the problem set the better as I will be using them to test a
general purpose theorem prover I have written.  While I can, and have,
generated random theorems and nontheorems they are often uninteresting
(e.g. Nontheorem -> Simple Theorem).

Please email me and I will summarize the responses in a later posting.
I am already aware of the problem sets that come with KRIPKE and Otter as
well as the morgan problem set of anagram.mcs.anl.gov:/pub/ATP_problems
fame.

                                   Anthony