Category listing - math/prover9

ladr Library for Automated Deduction Research
p9m4 prover9/mace4 GUI