Sources

At First ...

• Existing collections: ANL, Otter, SPRFN, SETHEO, Quaife
• Papers, many from Journal of Automated Reasoning
• CADE proceedings
• Association for Automated Reasoning Newsletter
• Others

As Time Went By ...

• Industry (wanting solutions)
• Ontologies - Cyc, SUMO, etc.
• Isabelle
• SystemOnTPTP submissions
• Library exports - Mizar, SAD, ILTP, HOL4
• TPTP users