{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreibw4uhyg6bngcyauxs425v25oxqq3d7k3vj4y4rz2yryg6x6ccn5m",
    "uri": "at://did:plc:wvbzyoyqr6q5pgezutm4sf3v/app.bsky.feed.post/3mkjehpts6so2"
  },
  "path": "/2026/04/23/Why_not_Lean.html",
  "publishedAt": "2026-04-27T16:42:24.000Z",
  "site": "https://lawrencecpaulson.github.io",
  "tags": [
    "formalmethods",
    "Comments"
  ],
  "textContent": "Comments",
  "title": "\"Why not just use Lean?\""
}