|
|
Software
- SPASS: a theorem
prover for first-order logic with equality
- Waldmeister:
a theorem prover for unit equational deduction
- COMPIT:
comparison of indexing techniques for automated reasoning
This web page is maintained by Thomas Hillenbrand <hillen@mpi-sb.mpg.de>. Imprint / Impressum | Data Protection / Datenschutzhinweis
Document last modified on Thursday, 24-May-2018 20:29:21 CEST.
