Web sites for automated deduction.
On software for reasoning
A list of provers, checkers, etc
(names, short descriptions, addresses, tutorials, other comments).
- The list is not very recent but, hopefully, not without a use. Additions and
updatings - welcome! Send them to:
witmar@calculemus.org
Bank