Skip to content

update README.md

update README.md #52

build (coqorg/coq:8.19)

succeeded Feb 4, 2025 in 10m 2s