How do I use/work on Boole?
Maintainers usually reply within 1 day
Nobody has claimed this yet.
Assessment
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Newbie friendliness
- 28/100
- Issue type
- Documentation
- Clarity
- Needs clarification
- Activity status
- Active
- Domain
- documentation
Research direction
The question points to Cslib/Languages/Boole and the Boole-sandbox branch. Read the README or other guidance in those locations, if present, to determine whether the branch is intended for experimentation and how to use it. Done means providing a clear answer about where the draft is and how someone can explore it.
Written by the indexing model from the issue text.
Description
I have read your paper on CSLib here: https://arxiv.org/abs/2602.04846 and am quite excited to see Boole in there. In the repo, I see that Boole right now is a placeholder: https://github.com/leanprover/cslib/tree/main/Cslib/Languages/Boole . Is there some draft of Boole in some branch that I can explore?
There is a branch called Boole-sandbox, is this one to play with? https://github.com/leanprover/cslib/tree/Boole-sandbox/Cslib/Languages/Boole
- Dominant language
- Lean
- Stars
- 771
- Forks
- 216
- Avg merge
- 3d 3h
- Merged PRs (30d)
- 116
Getting set up
Starts the project's dev container in your browser, under your own GitHub account.
- No Dockerfile or Docker Compose file
- No pull request template
- Read the contributing 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/cslib
-
`listFullBeta_cons_r` should rename to `listFullBeta_concat_r`Possibly taken @lengyijun claimed this 102 days ago. Open
Difficulty 1/5 Under an hour Newbie friendliness 72/100
leanprover/cslib#784 ·
Maintainers usually reply within 1 day
-
logic
Difficulty 1/5 Under an hour Newbie friendliness 72/100
leanprover/cslib#74 ·
Maintainers usually reply within 1 day
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
leanprover/cslib#990 ·
Maintainers usually reply within 1 day
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
leanprover/cslib#824 ·
Maintainers usually reply within 1 day
-
Difficulty 3/5 1-2 days Newbie friendliness 64/100
leanprover/cslib#823 ·
Maintainers usually reply within 1 day
All issues in leanprover/cslib
Similar issues
-
Difficulty 1/5 1-3 hours Newbie friendliness 84/100
NetAppDocs/ontap#2157 ·
Maintainers usually reply within 1 day
-
Difficulty 1/5 Under an hour Newbie friendliness 72/100
-
Difficulty 1/5 Under an hour Newbie friendliness 82/100
TarteelAI/quranic-universal-library#916 ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
phivk/rubiks-lab#33 ·
Maintainers usually reply within 1 day
-
bug
Difficulty 1/5 Under an hour Newbie friendliness 85/100
Maintainers usually reply within 1 day