Session FOLP-ex

Theories

• Intro
• Nat
• Foundation
• If
• Intuitionistic
• Classical
• Propositional_Int
• Quantifiers_Int
• Propositional_Cla
• Quantifiers_Cla