We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
update for coq 8.8
proper readme + move to contrib