[Coq] CoqAST

与Gallina AST.一起玩的有趣插件。，
Fun plugin to play with the Gallina AST., (2019-10-03, OCaml, 0KB, 下载0次)