3 commits

Author	SHA1	Message	Date
Brandon Rozek	1bb95f36d7	Fixed links	2023-09-26 17:43:41 -04:00
Brandon Rozek	f080564487	Truth Functional Expansions	2023-02-19 23:47:34 -05:00
Brandon Rozek	73e972db60	Added new section on automated theorem proving	2022-05-16 18:21:53 -04:00