A Coq plugin providing an extensible tactic similar to first.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool