/ concept-collection / turing-sphere
Sign in
concept-collection / turing-sphere
b97baa7
Branches
mainfix-analys-parity-no-subgroupsmovie-exportdisplay-improvements
turing-sphere / test / transformChecks.ts1 commit touching this path
Feed
Commits on 29 Jul 2026
Delete the TypeScript solver; the .m models are the only implementation
Jeremy Magland committed
35d91fa
↑↓ move↵openescclose