Langlandsproject

Langlandsproject/Langlands

4 good first / help-wanted issues · Lean · last activity Jun 22, 2026

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 3 months ago

help wanted good first issue phase:K student-project

Langlandsproject/Langlands

2

Lean

[AI4Math student] Reduced-word inversion sequences as Finsets 3 months ago

help wanted good first issue phase:K student-project

Langlandsproject/Langlands

2

Lean

[AI4Math student] The standard matrix sl2 triple 3 months ago

help wanted good first issue phase:F student-project

Langlandsproject/Langlands

2

Lean

[AI4Math student] Contextual braid moves and word-product invariance 3 months ago

help wanted good first issue phase:K student-project

Langlandsproject/Langlands

2

Lean