Skip to content

Merge pull request #148 from proux01/stdlib_repo #728

Merge pull request #148 from proux01/stdlib_repo

Merge pull request #148 from proux01/stdlib_repo #728

Annotations

2 warnings

build (coqorg/coq:8.14)

succeeded Sep 17, 2024 in 19m 40s