CoqAST icon indicating copy to clipboard operation
CoqAST copied to clipboard

Published 20 hours ago • verified publisher icon uwplse
→

Metadata

Fun plugin to play with the Gallina AST.

Results 2 CoqAST issues
Sort by recently updated
recently updated
newest added

evar_maps

tlringer avatar tlringer

Support for Coq v8.9

5 comment

On Coq v8.9 (and also on Coq master, coq/coq@2917fd2cce3a28), the plugin fails to build with the following error: ``` File "src/ast_plugin.ml4", line 439, characters 28-44: Error: Unbound type constructor mutual_inductive...

tchajed avatar tchajed

← Metadata

36
Stars
8
Forks
Watchers

Owner

verified publisher icon uwplse

Metadata

Fun plugin to play with the Gallina AST.

Back