leanprover/lean-workbench

View on GitHub

Online Lean Workbench

Stars: 9
Forks: 1
Open beginner issues: 0
Indexed issues: 23
Avg merge: 2d 3h
Merged PRs (30d): 35

Dominant language: TypeScript
License: Apache-2.0
Last GitHub push: Sep 18, 2026
Latest indexed: Sep 20, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

23 open issues indexed

Unify treatment of temp directories. Open

Difficulty 3/5 1-2 days Newbie friendliness 68/100

leanprover/lean-workbench#142 · Opened Sep 16, 2026
Move `_file` to publications origin Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

leanprover/lean-workbench#140 · 1 comment · Opened Sep 16, 2026
Deal with name collisions Open

Difficulty 4/5 3-5 days Newbie friendliness 38/100

leanprover/lean-workbench#132 · 1 comment · Opened Sep 8, 2026
Open projects into a reasonable state Open

Difficulty 3/5 1-2 days Newbie friendliness 64/100

leanprover/lean-workbench#130 · Opened Sep 6, 2026
Evaluate moving Prisma stuff into shared/ Open

Difficulty 5/5 Over a week Newbie friendliness 32/100

leanprover/lean-workbench#127 · Opened Sep 4, 2026
/data folder migrations Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

leanprover/lean-workbench#126 · Opened Sep 3, 2026
A user deleting a project breaks the "Active editor sessions" view Open

Difficulty 4/5 3-5 days Newbie friendliness 38/100

leanprover/lean-workbench#119 · 1 comment · Opened Sep 3, 2026
Show version / installation info in admin panel and/or footer Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 65/100

leanprover/lean-workbench#99 · Opened Aug 24, 2026
Install script won't allow use of an existing empty directory Open

Difficulty 2/5 1-3 hours Newbie friendliness 58/100

leanprover/lean-workbench#90 · 1 reaction · Opened Aug 20, 2026
Container places root-owned files on host filesystem Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

leanprover/lean-workbench#85 · Opened Aug 14, 2026
Unicode expansion triggers twice in collaborative mode Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 48/100

leanprover/lean-workbench#65 · Opened Jul 18, 2026
Processes are SIGKILLed on shutdown Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 55/100

leanprover/lean-workbench#62 · Opened Jul 16, 2026
External process shutdown is not handled Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 52/100

leanprover/lean-workbench#61 · Opened Jul 16, 2026
Impose resource limits Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 38/100

leanprover/lean-workbench#55 · Opened Jul 2, 2026
Vscode-server processes are not being killed Open

bug

Difficulty 2/5 1-3 hours Newbie friendliness 68/100

leanprover/lean-workbench#54 · Opened Jul 2, 2026
Warn admin when no swap is configured Open

enhancement

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

leanprover/lean-workbench#53 · Opened Jul 2, 2026
Ensure templates are fully built Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 42/100

leanprover/lean-workbench#50 · Opened Jun 30, 2026
Way for admins to customize front page Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

leanprover/lean-workbench#49 · Opened Jun 30, 2026
Prettier UI components Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 30/100

leanprover/lean-workbench#41 · Opened Jun 10, 2026
Ensure Docker image can be easily deployed to cloud providers Open

enhancement

leanprover/lean-workbench#29 · 1 assignee · Opened May 28, 2026
Way to easily open a scratch project from specific PR Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 30/100

leanprover/lean-workbench#26 · Opened May 28, 2026
Admin UI for modifying project templates Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 38/100

leanprover/lean-workbench#21 · Opened May 28, 2026
Absence of `--unshare-net` is risky given the current design Open

Difficulty 5/5 Over a week Newbie friendliness 28/100

leanprover/lean-workbench#16 · 4 comments · Opened May 7, 2026

leanprover/lean-workbench

Get new issues in your inbox