Can I contribute proofs to theorems whose proof left for exercise?
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 20/100
- Issue type
- Documentation
- Clarity
- Needs clarification
- Activity status
- Stale
- Tech stack
- tex
- Domain
- content
Research direction
The issue names no file, theorem, exercise, test, or acceptance criterion. First clarify whether exercise proofs are accepted and identify a specific theorem or proposition; completion would require an agreed scope for adding the proof to the textbook.
Written by the indexing model from the issue text.
Description
Hi,
I am wondering if it is alright to contribute my own proofs for theorems/propositions in the book whose proof is left as exercises?
- 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
-
Difficulty 1/5 Under an hour Newbie friendliness 63/100
punkpeye/awesome-mcp-devtools#367 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 75/100
-
Difficulty 1/5 Under an hour Newbie friendliness 72/100
ajeetraina/awesome-docker-sbx#227 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 85/100
521xueweihan/HelloGitHub#3891 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 75/100