Related Sites
Wed, 04/02/2008 - 16:33 — Bilal Said
We update this list regularly by adding links to interesting related sites.
- LoTREC old site
- Automated Theorem Proving page on Wikipedia
- Other generic tableau provers
- Tableau WorkBench (TWB)
- MetTeL
(page also contains links to provers for specific logics)