CatalinFrancu/colibri

Issues

• Resources available should be checked outside expand()

  #8 opened 4 years ago by CatalinFrancu
  0

• Optimization ideas

  #1 opened 4 years ago by CatalinFrancu
  0

• Ability to complete proofs

  #7 opened 4 years ago by CatalinFrancu
  0

• index.php should resport the port defined in colibri.conf

  #6 opened 4 years ago by CatalinFrancu
  0

• Show more information in node browser

  #5 opened 4 years ago by CatalinFrancu
  0

• Allow deleting solved subtrees

  #2 opened 4 years ago by CatalinFrancu
  1

• Some parts of e3 Nf6 are slow

  #3 opened 4 years ago by CatalinFrancu
  1

• Better monitoring

  #4 opened 4 years ago by CatalinFrancu
  0