Add tasks to replicate Math-shepherd#1052
Merged
plaguss merged 52 commits intodevelopfrom math-shepherdDec 4, 2024
+3,085-13
Commits
Commits on Oct 25, 2024
Commits on Oct 29, 2024
Commits on Nov 6, 2024
Commits on Nov 11, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 12, 2024
Commits on Nov 18, 2024
Commits on Nov 25, 2024
Commits on Nov 26, 2024
- committed
- committed
- committed
- committed
Commits on Nov 27, 2024
Commits on Nov 28, 2024
Commits on Nov 29, 2024
Commits on Dec 1, 2024
- committed