Univalent Category of SETOIDs , Setoids are not LCCC#1152
Draft
marcinjangrzybowski wants to merge 22 commits into
Draft
Univalent Category of SETOIDs , Setoids are not LCCC#1152marcinjangrzybowski wants to merge 22 commits into
marcinjangrzybowski wants to merge 22 commits into
Commits
Commits on Dec 4, 2023
- committed
Commits on Dec 5, 2023
Commits on Jan 15, 2024
Commits on Jan 21, 2024
- committed
Commits on Jan 22, 2024
Commits on Jan 28, 2024
- committed
Commits on Jan 30, 2024
- committed
Commits on Apr 2, 2024
Commits on Apr 3, 2024
- committed