benjishults/bitnots

Issues

• try coroutines to parallelize breadth-first unification

  #20 opened 7 years ago by benjishults
  1

• redo intern tables and associate them with theories

  #31 opened 5 years ago by benjishults
  0

• User creates limiter configuration for problem set

  #30 opened 5 years ago by benjishults
  0

• User submits problem set to prover

  #26 opened 5 years ago by benjishults
  0

• on receipt of problem set with existing name, apply versions to old

  #29 opened 5 years ago by benjishults
  0

• User edits problem set

  #28 opened 5 years ago by benjishults
  0

• problem sets are immutable in terms of content...

  #27 opened 5 years ago by benjishults
  0

• User creates a problem set

  #25 opened 5 years ago by benjishults
  0

• store problem set status

  #24 opened 5 years ago by benjishults
  0

• run a report on orphaned formulas and formula_pluses

  #18 opened 5 years ago by benjishults
  0

• prover is complete for FOL with q-limit

  #3 opened 5 years ago by benjishults
  0

• SPIKE - Pick an HTML5 framework for viewing tree structures

  #16 opened 5 years ago by benjishults
  1

• Improve high-level flow of proving

  #12 opened 5 years ago by benjishults
  0

• make TPTP usage optional

  #7 opened 5 years ago by benjishults
  0

• create prover web service

  #15 opened 5 years ago by benjishults
  0

• write parser for s-expressions

  #13 opened 7 years ago by benjishults
  0

• save theories and problems in DB

  #14 opened 7 years ago by benjishults
  1

• SPIKE - what to do when I create a new name in formula_plus

  #17 opened 7 years ago by benjishults
  0

• web service to initiate ingest from TPTP

  #19 opened 7 years ago by benjishults
  0

• when lots of tests are run, the intern tables get confused

  #10 opened 7 years ago by benjishults
  0

• EPIC improve memory usage by sharing structure and destructively modifying

  #5 opened 7 years ago by benjishults
  1

• improve Kotlin DSL

  #6 opened 7 years ago by benjishults
  0

• pull in more TPTP tests

  #11 opened 7 years ago by benjishults
  0

• refactor tableau classes extracting behavior

  #8 opened 7 years ago by benjishults
  0

• prover is complete for propositional logic

  #2 opened 7 years ago by benjishults
  0

• EPIC - test framework - load problems from files

  #1 opened 7 years ago by benjishults
  0

• SPIKE - decide on an initial file format for tests

  #4 opened 7 years ago by benjishults
  1