RedAx
Homological Algebra axioms
Predicate and function substitution axioms
for the Homological Algrebra axioms
Standard equality axioms
Axioms for the Short Five Lemma problems
ATP problems in TPTP syntax for
Part 1
and
Part 2
of the Short Five Lemma
