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 [email protected].
William McCune / [email protected]