Formal Methods in Computer Science CS1502 Proofs involving Conditionals
https://www.powershow.com/view1/1b7fcf-ZDc1Z/Formal_Methods_in_Computer_Science_CS1502_Proofs_involving_Conditionals_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
