{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreihqnmqbo3g4qn2uljsfjrhhd4cvg4uxezoneebgbrusd56kyuzaoq",
    "uri": "at://did:plc:wvbzyoyqr6q5pgezutm4sf3v/app.bsky.feed.post/3meofx5cpoff2"
  },
  "path": "/tutorial",
  "publishedAt": "2026-02-12T04:22:26.000Z",
  "site": "https://fstar-lang.org",
  "tags": [
    "book",
    "formalmethods",
    "plt",
    "Comments"
  ],
  "textContent": "Comments",
  "title": "Proof-oriented Programming in F*"
}