[ refactor ] introduce revised notation for decidability of Lexicographic orderings, plus knock-ons#2963
Open
jamesmckinna wants to merge 6 commits intoagda:masterfrom
Open
[ refactor ] introduce revised notation for decidability of Lexicographic orderings, plus knock-ons#2963jamesmckinna wants to merge 6 commits intoagda:masterfrom
Lexicographic orderings, plus knock-ons#2963jamesmckinna wants to merge 6 commits intoagda:masterfrom
Commits
Commits on Mar 9, 2026
Commits on Mar 17, 2026
- authored
- committed
- committed
- committed
- committed