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

Metis is being actively developed: the latest version is Metis 2.1 (release 20080523). Users are encouraged to try out or adapt Metis for their own applications. 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)