GitHub repository: ppedrot/ltac2
Primary language: OCaml
Created: 2017-07-24T16:33:31Z
Description: A standalone implementation of Ltac2 as a Coq plugin