leanprover-community / leanprover-community/queueboard-core
Monopage consisting of all tables
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 5
- Forks
- 9
- Avg merge
- 2h 58m
- Merged PRs (30d)
- 4
Description
Currently you have to open multiple browser tabs and triage (heh) between them. Having an additional page (with perhaps identical categorization) consisting of all tables that exist in the website would make simultaneous searching across every table easier, and it would help provide newcomers with bird's-eye view of the project.
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
The issue names no files, tests, or entry points. Start by locating the existing table categorization and page implementation, then determine how all tables are exposed together. Done means a new page presents every website table with comparable categorization and supports simultaneous searching across them.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- frontend, web-dev
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100