These assignments were done as a part of COL703 (Fall 2021)
- Assignment 1: Parser for a Formal Language for Arguments in Sentential Logic (FLASL)
- Assignment 2: Tableau-based natural language argument checker for FLASL arguments
- Assignment 3: Explainable First-order Tableau