There are 0 repository under ljt topic.
Proof search for intuitionistic propositional logic using Dyckhoff's LJT.