• [Gagallium] A new Coq tactic for inversion http://gallium.inria.fr/blog/a-new-Coq-tactic-for-inversion/ 4 comments 4/5/2013 coq