A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool