changelog | download | home | install | notes | performance


What is Metis?

Metis is an automatic theorem prover for first-order logic with equality.

Features of Metis

Project Status

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.

Contact

To report bugs, request features, or obtain help using Metis, please email joe@gilith.com


Metis (the moon of Jupiter)