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