Provide the reader with full information
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 25/100
- Issue type
- Documentation
- Clarity
- Needs clarification
- Activity status
- Stale
- Tech stack
- tex
- Domain
- content, documentation
Research direction
Start by locating the passage shown in the linked image within the textbook's rigorous axiomatic set theory section and read the surrounding exposition. Determine which facts, theorems, or proofs are missing from the presentation; done means the affected passage provides the requested full information rather than relying on the displayed shorthand.
Written by the indexing model from the issue text.
Description
Hi, I would kindly like to suggest providing the reader with full information of the facts/theorems/proofs etc. regardless of difficulty or notation.
For instance, the following is not really a good representation especially when in the book says that this part is the rigorous one and not the naive set theory
This specific part of the book is all about rediscovering set theory on a rigorous axiomatic way and the above is not IMHO well-suited at all for this part of the book. It could have been fine to claim something like the above in the naive part of the book.
- Dominant language
- TeX
- Stars
- 1.4k
- Forks
- 289
- PR merge metrics
- No merged PRs in 30d
Getting set up
This project ships no dev container, Dockerfile or contributing guide, so setting up is up to you: start from its README, and see our first-contribution guide for the general steps.
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 OpenLogicProject/OpenLogic
-
Difficulty 1/5 Under an hour Newbie friendliness 65/100
OpenLogicProject/OpenLogic#339 · 1 comment ·
-
Difficulty 4/5 3-5 days Newbie friendliness 50/100
OpenLogicProject/OpenLogic#436 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 68/100
OpenLogicProject/OpenLogic#435 · 1 comment ·
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
OpenLogicProject/OpenLogic#425 · 1 comment ·
-
Improve docsOpen
Difficulty 5/5 Over a week Newbie friendliness 25/100
OpenLogicProject/OpenLogic#390 ·
All issues in OpenLogicProject/OpenLogic
Similar issues
-
enhancement good first issue
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
-
erdos-status-sync
Difficulty 2/5 1-3 hours Newbie friendliness 62/100
google-deepmind/formal-conjectures#7109 ·
Maintainers usually reply within 2 days
-
community first-timers-only good first issue hacktoberfest help wanted low hanging fruit up-for-grabs
Difficulty 1/5 Under an hour Newbie friendliness 65/100
lingdojo/kana-dojo#32090 · 1 comment · 5 reactions ·
Maintainers usually reply within 1 day
-
P2 UI/UX
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
Maintainers usually reply within 1 day
-
good first issue P-Feature: Project Info and Page ready for merge team role: back end/devOps role: front end size: 0.25pt
Difficulty 1/5 Under an hour Newbie friendliness 85/100
Maintainers usually reply within 1 day