The new tactic engine of Coq 8.5http://coqhott.gforge.inria.fr/blog/coq-tactic-engine/ by clarus • 10 years ago 3 0 10 years agoCOcoqhott.gforge.inria.fr