We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
renaming to avoid clash
Merge branch 'vcoq86' into vcoq87
compiles with Coq 8.6
Update Makefile
Create LICENCE