/CoqAST

Fun plugin to play with the Gallina AST.

Primary LanguageOCaml

Issues