Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / nick8325/jukebox issues and pull requests
#6 - `jukebox-0.5.4` lack proper bounds for its dependencies
Issue -
State: closed - Opened by andreasabel 7 months ago
- 4 comments
#5 - Deep copy of Formulas.
Issue -
State: open - Opened by jparsert about 6 years ago
#4 - Create new function/constant/variable from string.
Issue -
State: closed - Opened by jparsert over 6 years ago
- 1 comment
#3 - Parser fails when parsing terms with free variables.
Issue -
State: closed - Opened by jparsert over 6 years ago
- 6 comments
#2 - Only print ugly stuff when --tstp is set
Issue -
State: closed - Opened by nick8325 about 8 years ago
#1 - Clausifier should be lazy
Issue -
State: open - Opened by nick8325 about 8 years ago