Wild ω-semicategories#1229
Draft
fredrik-bakke wants to merge 110 commits intoUniMath:masterfrom fredrik-bakke:wild-ω-semicategories
Hidden character warning
The head ref may contain hidden characters: "wild-\u03c9-semicategories"
+1,248-81
Commits
Commits on Sep 24, 2024
- committed
Egbert Rijke - committedEgbert Rijke
Commits on Sep 28, 2024
Commits on Oct 9, 2024
Commits on Oct 13, 2024
Commits on Oct 14, 2024
Commits on Oct 15, 2024
Commits on Oct 17, 2024
Commits on Oct 18, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 21, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 22, 2024
- committed
- committed
Commits on Oct 23, 2024
Commits on Oct 24, 2024
Commits on Oct 25, 2024
Commits on Nov 5, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 12, 2024
Commits on Nov 14, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 15, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 16, 2024
Commits on Nov 17, 2024
- committed
- committed
- committed
- committed
Commits on Nov 20, 2024
- committed
- committed
- committed
Commits on Nov 30, 2024
Commits on Dec 1, 2024
Commits on Dec 3, 2024
- committed
- committed
- committed
- authored
- committed
- committed
Commits on Jan 3, 2025
- committed
- committed