We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
ff71b25
Adds compatibility with current Coq dev (future 8.16), loses compatibility with Coq 8.8 and Coq 8.9