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