leanprover / leanprover/fp-lean
[Typo] 8.3.2. Proving Termination: as quite as -> quite as
Open
Beginner friendly
Nobody has claimed this yet.
Typo
- Dominant language
- Lean
- Stars
- 192
- Forks
- 73
- PR merge metrics
- No merged PRs in 30d
Description
Not all termination arguments are as quite as simple as this one.
Correction: quite as
Alternative: as
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.
Research direction
Search the repository documentation for the quoted sentence in section 8.3.2, “Proving Termination.” Correct “as quite as” to “quite as,” then check the rendered section to confirm the wording and formatting are correct.
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
- Stale
- Clarity
- Clearly specified
- Newbie friendliness
- 68/100