11 Commits

Author	SHA1	Message	Date
Courtland Leer	c19c0551b6	instructions	2024-06-18 11:09:54 -04:00
Courtland Leer	479391f8e3	more proof	2024-06-18 11:06:49 -04:00
Courtland Leer	f2c06e9b53	proofs	2024-06-18 11:03:13 -04:00
Courtland Leer	14ac00a05c	link fix	2024-06-18 10:37:07 -04:00
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