Skip to content
check

Prove that Kuratowski finite decidable sets are finite #301

Sign in to view logs

Prove that Kuratowski finite decidable sets are finite

Prove that Kuratowski finite decidable sets are finite #301

Run time

Learn about OS pricing on GitHub Actions
Job Run time
gradle (ubuntu-latest, 17)
5m 19s
gradle (macos-latest, 17)
8m 0s
gradle (windows-latest, 17)
7m 35s
20m 54s