Skip to content

Coq 8.20.0

Compare
Choose a tag to compare
@proux01 proux01 released this 04 Sep 11:32
· 1612 commits to master since this release

See the changelog for an overview of the new features and changes.