Logic for Computer Science, Course Repository, IITD 7th Semester 2023-24
- Assignment-1: A Natural Deduction Proof Checker for Propositional Logic in Python and theoretical questions on Propositional Logic
- Assignment-2: Theoretical Questions on First-Order Logic
- Assignment-3: Simple Prolog Programming Question