{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiecks6kyu2utt2kswzi4wqkfsus6lhfpp4f3j7pzv6aavudmwtkmu",
    "uri": "at://did:plc:wvbzyoyqr6q5pgezutm4sf3v/app.bsky.feed.post/3meuydorrens2"
  },
  "path": "/posts/proving-the-coding-interview-lean/",
  "publishedAt": "2026-02-14T19:09:26.000Z",
  "site": "https://ntaylor.ca",
  "tags": [
    "formalmethods",
    "plt",
    "Comments"
  ],
  "textContent": "Comments",
  "title": "Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match"
}