software & demos
Software included in LPL:
Tarski's World (5.0)
Fitch (out of Hyperproof)
Boole
Submit
Grade Grinder (GG, excluded)
next