Skip to content
Tests

outsourced a derivation of IsHomSetInhabited from Toposes to FinSetsForCAP #1679

Sign in to view logs

outsourced a derivation of IsHomSetInhabited from Toposes to FinSetsForCAP

outsourced a derivation of IsHomSetInhabited from Toposes to FinSetsForCAP #1679

Triggered via pull request July 3, 2023 10:01
@mohamed-barakatmohamed-barakat
synchronize #211
mohamed-barakat:IsHomSetInhabited
Status Success
Total duration 34m 16s
Artifacts –

Tests.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in