ljt topic
List
ljt repositories
sequents
26
Stars
0
Forks
Watchers
Proof search for intuitionistic propositional logic using Dyckhoff's LJT.
