Remove dependency between BUILTIN and postulates#1373
Open
fredrik-bakke wants to merge 40 commits intoUniMath:masterfrom
Open
Remove dependency between `BUILTIN` and postulates#1373fredrik-bakke wants to merge 40 commits intoUniMath:masterfrom
fredrik-bakke wants to merge 40 commits intoUniMath:masterfrom
Commits
Commits on Mar 19, 2025
Commits on Mar 20, 2025
- committed
- 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 Mar 21, 2025
- committed
- committed
- committed
- committed
Commits on Mar 24, 2025
- committed
- committed
- committed
- authored
- committed
- committed
- committed