[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] MetiTarski 1.4 released!
firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org
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 includes support for problems involving existential quantifiers, the hyperbolic function tanh, etc.
Please note that MetiTarski is experimental research software and will require a certain amount of effort to build on your machine. Feedback would be welcome.