The new tactic engine of Coq 8.5coqhott.gforge.inria.fr3 points·clarus··0 commentsOpen articleSaveView on HN