8 Commits

Author	SHA1	Message	Date
vintro	a47d112d72	final edits	2025-02-25 21:44:10 -05:00
vintro	b2916151b8	more fixes	2025-02-23 20:38:40 -05:00
vintro	9bed0168c1	better word than interesting	2025-02-23 20:18:04 -05:00
vintro	2042690f76	major courtland revisions	2025-02-23 20:15:12 -05:00
vintro	0d1ba14187	update tags	2025-02-19 13:53:35 -05:00
vintro	3c92c23c4b	fix: vineeth's comments	2025-02-17 17:22:53 -05:00
vintro	677494abfc	proofs	2025-02-17 13:28:25 -05:00
vintro	41c1e18e0a	initial draft, code wrapping	2025-02-08 16:01:04 -05:00