Java-based version including theory graph browser

Click on the logic's name to view a list of its theories.

• FOL
• ZF (Set Theory)
• CCL (Classical Computational Logic)
• LCF (Logic of Computable Functions)
• FOLP (FOL with Proof Terms)

• HOL
• HOLCF (Higher-Order Logic of Computable Functions)

• Sequents (first-order, modal and linear logics)
• CTT (Constructive Type Theory)
• Cube (The Lambda Cube)