[Om-announce] MetiTarski 1.6 released!
lp15 at cam.ac.uk
Thu Sep 9 13:34:43 CEST 2010
MetiTarski is an automatic theorem prover based on a combination of resolution and a decision procedure for the theory of real closed fields. It is designed to prove theorems involving functions such as log, exp, sin, cos and sqrt. MetiTarski is available to download; see
This version corrects errors in a file of axioms concerning the logarithm function. It includes major performance improvements and many new problem files.
Please note that MetiTarski is experimental research software and will require a certain amount of effort to build on your machine. Feedback is welcome!!
More information about the Om-announce