2 Commits

Author	SHA1	Message	Date
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