issues
search
nick8325
/
jukebox
A theorem prover
BSD 3-Clause "New" or "Revised" License
13
stars
0
forks
source link
Only print ugly stuff when --tstp is set
#2
Closed
nick8325
closed
6 years ago