We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
c3b370c
This is a maintenance release, known to work with Coq 8.10 to 8.12 and MathComp 1.11.0.
