Automated Deduction Systems and Groups

(This page has not been kept up to date.)

Higher-order Systems and Proof Checkers

First-order Systems Special-purpose Systems Related Links To add to these lists, e-mail mccune@mcs.anl.gov.
William McCune / mccune@mcs.anl.gov