7 Commits

Author	SHA1	Message	Date
Courtland Leer	e6a2e187f7	final edits	2024-06-18 10:18:12 -04:00
Courtland Leer	08caa73679	instructions edits	2024-06-17 16:33:44 -04:00
Courtland Leer	ffbd8d71c5	lc the	2024-06-17 16:25:58 -04:00
Courtland Leer	1d2955e48d	>proof	2024-06-17 16:24:27 -04:00
Courtland Leer	24235c3677	proofs	2024-06-17 16:18:05 -04:00
Courtland Leer	4b79fc288b	tags	2024-06-17 16:14:34 -04:00
Courtland Leer	2f6abf91c2	draft	2024-06-17 16:09:11 -04:00