Langlandsproject

Langlandsproject/Langlands

2 stars 0 forks 2 watchers Lean

4 Open Issues Need Help Last updated: Jun 22, 2026

Open Issues Need Help

View All on GitHub

[AI4Math student] Standard parabolic core API in Lean 22 days ago

help wanted good first issue phase:K student-project

Langlandsproject/Langlands

2

Lean

[AI4Math student] Reduced-word inversion sequences as Finsets 22 days ago

help wanted good first issue phase:K student-project

Langlandsproject/Langlands

2

Lean

[AI4Math student] The standard matrix sl2 triple 22 days ago

help wanted good first issue phase:F student-project

Langlandsproject/Langlands

2

Lean

[AI4Math student] Contextual braid moves and word-product invariance 22 days ago

help wanted good first issue phase:K student-project

Langlandsproject/Langlands

2

Lean