changelog | download | home | install | notes | performance
Metis is an automatic theorem prover for first-order logic with equality.
After a period of low activity, Metis is once again being actively developed. Users are encouraged to try out or adapt Metis for their own applications: the latest version is Metis 2.0 (release 20070604). Metis is free software, released under version 2 of the GNU General Public Licence.
To report bugs, request features, or obtain help using Metis, please email joe@gilith.com