Lean4 in Emacs via Windows Subsystem for Linux

It’s been a while since I’ve blogged, and today seemed like a good day to plant some new seeds. Recently, I’ve been trying to move away from VS Code and decided to go back to an old Linux staple: Emacs. It’s a relatively new machine, so I took notes along the way in hopes it […]