Skip to content

Univalent Category of SETOIDs , Setoids are not LCCC#1152

Draft
marcinjangrzybowski wants to merge 22 commits into
agda:masterfrom
marcinjangrzybowski:setoid-slice
Draft

Univalent Category of SETOIDs , Setoids are not LCCC#1152
marcinjangrzybowski wants to merge 22 commits into
agda:masterfrom
marcinjangrzybowski:setoid-slice

Update Setoids.agda

d0431e7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs