We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
e8e77a3
Using string notations and dropping compatibility with Coq pre-8.11.
491666d
Some new features, last release to support versions of coq prior to 8.11.
91abe55
added more specifiers
