We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
The Coq proof assistant, version 8.13.2
The Coq proof assistant, version 8.13.1
The Coq proof assistant, version 8.13.0.
The 8.12.2 release of the Coq proof assistant.
The Coq Proof Assistant, first beta release of version 8.13.
first commit after v8.13 branch
The Coq proof assistant, version 8.12.1.
The Coq proof assistant, version 8.12.0.
The Coq Proof Assistant, first beta release of version 8.12.
First commit after v8.12 branching point.