We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
c32df70
Maintenance release compatible with Coq 8.14 to 8.19, with the following changes:
