Open Issues Need Help
View All on GitHub [AI4Math student] Standard parabolic core API in Lean about 3 hours ago
help wanted good first issue phase:K student-project
[AI4Math student] Reduced-word inversion sequences as Finsets about 3 hours ago
help wanted good first issue phase:K student-project
[AI4Math student] The standard matrix sl2 triple about 3 hours ago
help wanted good first issue phase:F student-project
[AI4Math student] Contextual braid moves and word-product invariance about 3 hours ago
help wanted good first issue phase:K student-project