ljt

There are 0 repository under ljt topic.

• ayberkt / sequents

  Proof search for intuitionistic propositional logic using Dyckhoff's LJT.

  intuitionistic-logicljtproof-searchsequent-calculus
  Language:Standard ML 26