We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
d87f026
Revised the Readme file in preparation for submitting the library for inclusion in the Coq Package Index.
