The new tactic engine of Coq 8.5(coqhott.gforge.inria.fr)3 points·by clarus·10 anni fa·0 commentscoqhott.gforge.inria.frThe new tactic engine of Coq 8.5http://coqhott.gforge.inria.fr/blog/coq-tactic-engine/0 commentsPost comment—