Skip to content

Merge pull request #144 from Columbus240/SetsUniverses #730

Merge pull request #144 from Columbus240/SetsUniverses

Merge pull request #144 from Columbus240/SetsUniverses #730

Annotations

2 warnings

build (coqorg/coq:8.14)

succeeded Sep 17, 2024 in 20m 2s