PROTEIN
uni-koblenz.deA PROver with a Theory Extension INterface. Theorem prover for first-order clause logic, written in ECRC's Prolog-dialect ECLiPSe. Free download, documentation.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.