GitHub repository: sigurdschneider/smpl
Primary language: OCaml
Created: 2016-11-17T08:58:16Z
Description: A Coq plugin providing an extensible tactic similar to first.