changelog | download | home | install | notes | performance |
Metis is an automatic theorem prover for first order logic with equality.
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.
To report bugs, request features, or obtain help using Metis, please email joe@gilith.com