GitHub repository: virtual-labs/exp-syntax-and-inference-iiith
Primary language: HTML
Created: 2022-08-14T12:56:51Z
Description: This experiment belongs to Discrete Mathematics Lab IIITH.​​​​ Full Name: Propositional Logic: Syntax and Inference