Cen-XIN / logic-and-formal-system-project

NUS SoC CS3234 Logic and Formal System (AY 2018/19 Sem 2) Project Source Code

Logic_and_Formal_System_Project

NUS SoC CS3234 Logic and Formal System (AY 2018/19 Sem 2) Project Source Code

NUS SoC CS3234 Logic and Formal System (AY 2018/19 Sem 2) Project Source Code

Language:Prolog 78.1%Language:Coq 21.9%