<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr">Hi<div><br></div><div>The TeX Hour is skipping two weeks. We'll next meet on Thursday 23 February. Contact me by email for any queries or suggestions.</div><div><br></div><div>For TeX users, next week I'm at a conference on Machine Assisted Proofs in pure mathematics research. Mainly it's focussed on math research way above my league, but I might learn something related to writing math proofs that both humans and computers can read. For many years, TeX has been the preeminent software for writing math proofs.</div><div><br></div><div>Here's a resonance. Don Knuth developed literate programming for writing software source code that both humans and computers can read. He used literate programming to write TeX, METAFONT and the Computer Modern fonts.</div><div><br></div><div>with kind regards</div><div><br></div><div>Jonathan</div></div>
</div></div>
</div></div>
</div></div>