3 Commits

Author	SHA1	Message	Date
Mark	6a5e02a8ac	Typos	2023-12-09 18:17:22 -08:00
mark	4c75130c91	Finished proof techniques handout	2023-11-08 15:09:41 -08:00
Mark	59f8cc3657	Added proof techniques draft	2023-11-07 20:36:59 -08:00