ATProto Browser

Record data

{
  "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3llwr5e3rgs2l",
  "cid": "bafyreidbzd5j2tlldwtnvy7n6q775mri6syol4jrmror76t2qza3slbvgy",
  "value": {
    "text": "This growing interest at ZKProof demonstrates Lean's expanding role across many domains. Our Year 2 roadmap shows we're committed to supporting these diverse applications through core infrastructure improvements.\n\nRead more: lean-fro.org/about/roadmap-y2/\n\n#LeanLang #LeanProver #FormalVerification",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreic3agj63japf6fjrmqxq4bqoaqckrx6dzcu5e6obb7lz6ymi4wlbm",
        "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3llwr5blac22l"
      },
      "parent": {
        "cid": "bafyreifjyc7ctdcs3dsajfmqtit7k4s3ljoa2enl4rypjsln3kuqetpgtm",
        "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3llwr5d3m5c2l"
      }
    },
    "facets": [
      {
        "index": {
          "byteEnd": 266,
          "byteStart": 257
        },
        "features": [
          {
            "tag": "LeanLang",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 278,
          "byteStart": 267
        },
        "features": [
          {
            "tag": "LeanProver",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 298,
          "byteStart": 279
        },
        "features": [
          {
            "tag": "FormalVerification",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      }
    ],
    "createdAt": "2025-04-03T20:40:07.333Z"
  }
}