Coq 8.20+rc1

The release candidate for Coq 8.20 is now available. Library authors
can safely start preparing compatible releases. For continuous
integration purposes, the release candidate is available as a Docker
image [1] as well as in nixpkgs, in particular through the
coq-nix-toolbox [2]. The final 8.20.0 release is planned for early

[2] GitHub - coq-community/coq-nix-toolbox: Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

1 Like