moratori/clover

Issues

• iterative-multi-completionが遅い

  #20 opened 3 years ago by moratori
  0

• 特定節集合に対する効率的な導出アルゴリズムを実装する

  #4 opened 3 years ago by moratori
  0

• ヒューリスティック関数の実装

  #7 opened 3 years ago by moratori
  0

• 不可解なエラーの発生

  #18 opened 3 years ago by moratori
  4

• 別フォーマットをパースした時の式集合の同値性について

  #19 opened 3 years ago by moratori
  0

• 等値述語に対する推論規則の追加

  #8 opened 3 years ago by moratori
  1

• Knuth-Bendixの完備化アルゴリズム実装

  #16 opened 3 years ago by moratori
  0

• 節の簡単化規則の追加

  #5 opened 4 years ago by moratori
  1

• 一度のresolutionで複数の節が消える

  #17 opened 4 years ago by moratori
  0

• :set-profilerを実装

  #15 opened 6 years ago by moratori
  0

• print-objectの実装変更

  #11 opened 6 years ago by moratori
  0

• 無応答状態の際のctrl+cを正しく扱う

  #13 opened 6 years ago by moratori
  0

• 証明にかかった時間を表示する

  #14 opened 6 years ago by moratori
  0

• 単一化子のリバース

  #12 opened 6 years ago by moratori
  0

• CUIの実装

  #3 opened 6 years ago by moratori
  0

• readmeの整備

  #10 opened 6 years ago by moratori
  1

• 空節の表示方法

  #9 opened 6 years ago by moratori
  0

• 反駁木の描画

  #2 opened 6 years ago by moratori
  1

• 引数なしリテラル・関数項の表示修正

  #6 opened 6 years ago by moratori
  0

• 項の解釈

  #1 opened 6 years ago by moratori
  0