-
- Downloads
Accept Axioms in JSON
Of course, axioms cannot be converted but they can now appear in modules and be correctly parsed
Showing
- example/Example.v 2 additions, 0 deletionsexample/Example.v
- example/Internals.c 2 additions, 0 deletionsexample/Internals.c
- example/Internals.h 1 addition, 0 deletionsexample/Internals.h
- example/Internals.v 2 additions, 0 deletionsexample/Internals.v
- src/Language/Coq/ExtractedAST.hs 6 additions, 1 deletionsrc/Language/Coq/ExtractedAST.hs
Loading
Please register or sign in to comment