{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreigkvzzghxa42calawj6vpbac57h6men35rup245g6nklxwyyecte4",
    "uri": "at://did:plc:a6z6w7ymawrgialojhh7ktex/app.bsky.feed.post/3mn6lp5xcuda2"
  },
  "path": "/blog/2026/05/31/installing-pretext-using-windows-subsystem-for-linux/",
  "publishedAt": "2026-05-31T19:14:14.000Z",
  "site": "https://suburbanlion.com",
  "tags": [
    "Uncategorized"
  ],
  "textContent": "Hello! Welcome to another installment of “How to get math software working in the Windows Subsystem for Linux”. Last time I set up Lean4 in Emacs using Debian, but this time we’re branching off into using a project called PreTeXt. PreTeXt is basically a system designed explicitly for authoring math papers and textbooks using a […]",
  "title": "Installing PreTeXt using Windows Subsystem for Linux"
}