leanprover-community / leanprover-community/import-graph
mention the new widgets in README.txt
Open
Beginner friendly
Nobody has claimed this yet.
documentation
- Dominant language
- Lean
- Stars
- 26
- Forks
- 16
- Avg merge
- 4d 8h
- Merged PRs (30d)
- 15
Description
There might be some value to mention existing Widgets in the README as these might be part of the core functionality the package provides to the user.
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 reading README.txt and locating the existing Widgets provided by the package. Update the README to mention those Widgets as part of the package's functionality; the work is done when the existing Widgets are clearly documented there.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Activity status
- Active
- Clarity
- Mostly clear
- Newbie friendliness
- 78/100