ljt topic

List ljt repositories

sequents

26
Stars
0
Forks
Watchers

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

verified publisher icon ayberkt