Follow

TIL, I learnt it is easy to install beta because there is a special repo for that: core-dev

Have a look at the README if you are interested: github.com/coq/opam-coq-archiv

Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!