4 Commits

Author	SHA1	Message	Date
Mark	d39fb5e0be	Merged changes	2023-10-06 14:16:12 -07:00
Mark	7c2398bcf5	Added a problem	2023-10-06 14:12:42 -07:00
mark	a073931145	Added proof problems	2023-10-06 08:40:37 -07:00
Mark	45949321e9	Started proofs handout	2023-10-05 10:46:42 -07:00