GitHub - danagajewski/LogicAndCompHW: Store Logic and Comp Homeworks

Name	Name	Last commit message	Last commit date
Latest commit griffinboyle4 Create hwk08.lisp Mar 22, 2022 1d04969 · Mar 22, 2022 History 25 Commits
.metadata	.metadata	Halfway done with assignment 3	Feb 7, 2022
hw1	hw1	Halfway done with assignment 3	Feb 7, 2022
hw3	hw3	Most of the way done with assignment 4. Still have to write some test…	Feb 16, 2022
hw4	hw4	Almost done with the simplification of formulas.	Feb 23, 2022
hw5	hw5	Added equational reasoning proof and property A4	Feb 23, 2022
hw8	hw8	Create hwk08.lisp	Mar 22, 2022
.gitignore	.gitignore	Current state would have had this block all files.	Feb 1, 2022