We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Update MathComp description
Identify libraries that have recent releases
Updated Other "standard" libraries (markdown)
Add other library mentioned on Coq-Club.
Math-classes thoughts
Mention a particular point on typeclasses
Update notes on HoTT
Starting out a list.