leanprover / leanprover/lean-workbench
Admin UI for modifying project templates
Nobody has claimed this yet.
- Dominant language
- TypeScript
- Stars
- 9
- Forks
- 1
- Avg merge
- 2d 3h
- Merged PRs (30d)
- 35
Description
During setup, a template for the chosen version of mathlib is added, but there is no UI for admins to modify the set of templates post-setup. They can be modified in a more low-level fashion by changing the contents of $WORKBENCH_DATA_DIR/templates. One could also distribute a custom-built Docker image including templates beyond the hello/ we always include. The UI would just be a nice thing to have.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by examining the setup flow that adds a template for the chosen mathlib version and how templates are stored under $WORKBENCH_DATA_DIR/templates. The issue does not specify which template operations the UI should support, so clarify the expected admin actions before estimating the work. Done means admins can modify the template set after setup through the UI.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- docker, typescript
- Domain
- frontend
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 38/100