Instances are always exposed
Nobody has claimed this yet.
Assessment
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Newbie friendliness
- 68/100
- Issue type
- Documentation
- Clarity
- Mostly clear
- Activity status
- Active
- Domain
- documentation
Research direction
Start by locating the reference-manual section that explains instances and review how automatic exposure is described. Update the manual so this behavior is easy to find and unambiguous, then verify the resulting documentation builds successfully.
Written by the indexing model from the issue text.
Description
What question should the reference manual answer?
It is currently impossible to find in the manual that instances are always automatically exposed, if I'm not mistaken.
- Dominant language
- Lean
- Stars
- 129
- Forks
- 67
- Avg merge
- 1d 15h
- Merged PRs (30d)
- 16
Contributor guide
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.
More from leanprover/reference-manual
-
doc-request
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
leanprover/reference-manual#937 ·
-
doc-request
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
leanprover/reference-manual#936 ·
-
bug
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
leanprover/reference-manual#896 ·
-
bug
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
leanprover/reference-manual#890 ·
-
doc-request
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
leanprover/reference-manual#884 ·
All issues in leanprover/reference-manual
Similar issues
-
user-reported
Difficulty 2/5 1-3 hours Newbie friendliness 85/100
Kong/developer.konghq.com#7316 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
HarperFast/skills#96 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
infinispan/infinispan#18150 ·
-
bug triage:deciding
Difficulty 1/5 Under an hour Newbie friendliness 88/100
open-telemetry/otel-arrow#4132 ·
-
Ecosystem: ClawMetry — the Qwen Code reader is now free and open source (follow-up to #9294 / #9338) Opencategory/integration priority/P3 scope/documentation status/ready-for-human type/feature-request
Difficulty 1/5 Under an hour Newbie friendliness 84/100