We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
c858b4c
Compiles with Coq 8.15→8.18 and MathComp 1.15→1.18 (see included README.md or .opam file for other dependencies).