Session Sequents

Theories

• Sequents
  • File ‹prover.ML›
• LK0
• LK
  • File ‹simpdata.ML›
• ILL
• ILL_predlog
• Washing
• Modal0
  • File ‹modal.ML›
• T
• S4
• S43
• Propositional
• Quantifiers
• Hard_Quantifiers
• Nat