GitHub repository: ppedrot/coq-string-ident
Primary language: OCaml
Created: 2016-10-05T20:26:43Z
Description: A plugin to translate between Ltac idents and Coq strings