Missing axiom(s) in the axiomatization of sets
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 20/100
Research direction
Start by reading the related Silicon issue #405 and Carbon issue #292, then locate Silver's axiomatization of sets. Determine which axioms are missing and how the related projects describe the expected behavior. Done means the required axioms are specified and covered by the relevant verification checks.
Written by the indexing model from the issue text.
Description
Created by bitbucket user OmerSakar on 2019-12-13 16:23
See issues on the Silicon and Carbon projects:
- Dominant language
- Scala
- Stars
- 100
- Forks
- 53
- Avg merge
- 8h 10m
- Merged PRs (30d)
- 2
Contributor guide
No contributing guide indexed for this repository
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 viperproject/silver
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
viperproject/silver#928 ·
-
bug termination plugin
Difficulty 4/5 3-5 days Newbie friendliness 48/100
viperproject/silver#925 · 1 comment ·
-
Anonymous methods Openenhancement
Difficulty 5/5 Over a week Newbie friendliness 35/100
viperproject/silver#922 ·
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
viperproject/silver#918 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
viperproject/silver#913 ·
All issues in viperproject/silver
Similar issues
-
Difficulty 1/5 Under an hour Newbie friendliness 90/100
-
requires-triage
Difficulty 2/5 1-3 hours Newbie friendliness 84/100
apache/datafusion-comet#6060 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
lichess-org/lila#21756 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 90/100
-
enhancement
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
salesforce/evalon#10 ·