GitHub repository: yyz218/Natural-Deduction-proof-to-Sequent-System-proof
Primary language: Python
Description: PHIL-4140 INTERMEDIATE LOGIC Project