Skip to content

Initial release as coq-community project

Compare
Choose a tag to compare
@anton-trunov anton-trunov released this 03 Feb 23:24
· 39 commits to master since this release
  • Compatibility with Coq 8.7 - 8.11 and Mathcomp 1.7 - 1.10
  • Enhance project description
  • Add CI