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
- Tableau WorkBench (TWB): a competent generic tableau prover