<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> Thanks for this, Shriram. In your "you can" section, you point out that you probably already have 6pp of lecture notes per (hour of?) class. I think you missed an opportunity to return to this point in the "you should" section: no need for more than that.</p><p>I personally have been inspired by Dexter Kozen's books (<a href="https://link.springer.com/book/10.1007/978-3-642-85706-5" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/book/10.1007</span><span class="invisible">/978-3-642-85706-5</span></a>, <a href="https://link.springer.com/book/10.1007/978-1-4612-4400-4" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/book/10.1007</span><span class="invisible">/978-1-4612-4400-4</span></a>, <a href="https://link.springer.com/book/10.1007/1-84628-477-5" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/book/10.1007</span><span class="invisible">/1-84628-477-5</span></a>). Specifically, each chapter is about 6pp, and covers just one lecture's worth of material.</p>
