Free magmas#1459
Draft
djspacewhale wants to merge 89 commits intoUniMath:masterfrom
Draft
Commits
Commits on Nov 16, 2024
Commits on Jan 20, 2025
Commits on Jan 26, 2025
Commits on Jan 31, 2025
Commits on Feb 8, 2025
Commits on Feb 9, 2025
Commits on Feb 15, 2025
Commits on Mar 6, 2025
Commits on Mar 22, 2025
Commits on Apr 17, 2025
Commits on May 5, 2025
Commits on Jun 1, 2025
Commits on Jun 21, 2025
Commits on Jul 16, 2025
Commits on Jul 27, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 29, 2025
Commits on Aug 2, 2025
- committed
- committed
- committed
- authored
- committed
- committed
Commits on Aug 3, 2025
- committed
- committed
- committed
- authored
- committed
- andauthored
- committed
- committed
- committed
Commits on Aug 4, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 9, 2025
Commits on Aug 10, 2025
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
Commits on Aug 11, 2025
- committed
- committed
- authored
- committed
Commits on Aug 12, 2025
- committed
Commits on Aug 18, 2025
- committed
- committed
- committed
- committed
- committed
Commits on Aug 19, 2025
- committed
- committed