I’ve learned how to use verso to make posts with correctly marked-up Lean code.
I could have walked away from the infrastructure (i.e. hakyll) supporting this site/blog, but for now decided that was a bit too complicated. Thus, I’ve decided not to retool. This means that Lean-related blog posts will live in a sort of parallel site, namely https://gmcninch.math.tufts.edu/proof-sketches/posts.