Skip to content
develop

Drop BoolAlg and explicit dom/codom on GaloisConnection. Add Category instance. #1080

Sign in to view logs

Drop BoolAlg and explicit dom/codom on GaloisConnection. Add Category instance.

Drop BoolAlg and explicit dom/codom on GaloisConnection. Add Category instance. #1080

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
2m 59s
deploy
0s
2m 59s