Math on the web feat. Joy of Cryptography

I’ve recently been reading Joy of Cryptography by Mike Rosolek, and realized I could probably use some formal proof-writing practice, given that it’s been a while since I’ve had to write very thoroughly mathematically-sound proofs (Computer science and its consequences). Then, I decided I also wanted to learn how to render math on the web without JavaScript, because it would be cool. Two birds…