nick8325/jukebox

A theorem prover

Stars: 17
Forks: 0
Open beginner issues: 0
Indexed issues: 2

Dominant language: Haskell
License: BSD-3-Clause
Last GitHub push: Aug 19, 2026
Latest indexed: Sep 20, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

2 open issues indexed

Deep copy of Formulas. Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

nick8325/jukebox#5 · Opened Jul 30, 2018
Clausifier should be lazy Open

Difficulty 4/5 3-5 days Newbie friendliness 20/100

nick8325/jukebox#1 · Opened Aug 12, 2016

A short digest of beginner-friendly GitHub issues.