We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
d67553c
Compiles with Coq 8.7 to 8.10 and Mathcomp 1.8 and 1.9 (see included README.md or Opam file for other dependencies).
