Alpha-release of Coq Modulo Theories
Submitted by herbelin on 22 Jun 2010 22:10 GMT
Coq Modulo Theories (CoqMT) is an extension of the Coq proof assistant (8.2) that embeds, in its computational mechanism, validity entailment for user-defined first-order equational theories.
The alpha-release is out.
Syndicate