{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreig6pt3grxsnnajpt4s5ho6salui2bjk7lyczgfzhpcrmtvhxnpoke",
    "uri": "at://did:plc:a6z6w7ymawrgialojhh7ktex/app.bsky.feed.post/3mkt5myjsij42"
  },
  "path": "/blog/2026/04/30/lean4-in-emacs-via-windows-subsystem-for-linux/",
  "publishedAt": "2026-05-01T03:50:43.000Z",
  "site": "https://suburbanlion.com",
  "tags": [
    "Uncategorized"
  ],
  "textContent": "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 […]",
  "title": "Lean4 in Emacs via Windows Subsystem for Linux"
}