Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
coq
README.md
Find file
Blame
History
Permalink
docs: Add new shields.io badge for coqorg/coq:latest
· dc6e3688
Erik Martin-Dorel
authored
Dec 10, 2021
* This patch subsumes PR
https://github.com/coq/coq/pull/15001
dc6e3688
Loading
Erik Martin-Dorel authored