8000
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
opam file lint: fix license name
CI: add coq 8.17 (#47) * CI: add coq 8.17 * fix README
Merge remote-tracking branch 'refs/remotes/origin/master'
update CHANGES
update