issues
search
nick8325
/
jukebox
A theorem prover
BSD 3-Clause "New" or "Revised" License
13
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
`jukebox-0.5.4` lack proper bounds for its dependencies
#6
andreasabel
closed
8 months ago
4
Deep copy of Formulas.
#5
jparsert
opened
6 years ago
0
Create new function/constant/variable from string.
#4
jparsert
closed
6 years ago
1
Parser fails when parsing terms with free variables.
#3
jparsert
closed
6 years ago
6
Only print ugly stuff when --tstp is set
#2
nick8325
closed
6 years ago
0
Clausifier should be lazy
#1
nick8325
opened
8 years ago
0