Skip to content

Coq 8.19.1

Latest
Latest
Compare
Choose a tag to compare
@SkySkimmer SkySkimmer released this 04 Mar 13:01
· 1345 commits to master since this release
V8.19.1
This tag was signed with the committer’s verified signature.
SkySkimmer Gaëtan Gilbert
GPG key ID: 8585BE5E6C57C806
Learn about vigilant mode.
8152d12

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

Assets 4