Main branch #4
Description
The current main branch is set to coq-8.12 (and not coq-8.15), which can lead to confusion.
Also, the documentation of branch coq-8.15 is out of date and refers to coq.8-11.
{{ message }}
The current main branch is set to coq-8.12 (and not coq-8.15), which can lead to confusion.
Also, the documentation of branch coq-8.15 is out of date and refers to coq.8-11.