Issues
- 0
- 0
- 0
- 0
User edits problem set
#28 opened - 0
- 0
User submits problem set to prover
#26 opened - 0
User creates a problem set
#25 opened - 0
store problem set status
#24 opened - 0
- 0
web service to initiate ingest from TPTP
#19 opened - 0
- 0
- 1
- 0
create prover web service
#15 opened - 1
save theories and problems in DB
#14 opened - 0
write parser for s-expressions
#13 opened - 0
Improve high-level flow of proving
#12 opened - 0
pull in more TPTP tests
#11 opened - 0
- 0
- 0
make TPTP usage optional
#7 opened - 0
improve Kotlin DSL
#6 opened - 1
- 1
- 0
- 0
- 0