ATProto Browser

Record data

{
  "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3lii37ldia22o",
  "cid": "bafyreihulooa33domouvjw6p36b7kqodtwawx2dayu37zwsbyocqx6ih7y",
  "value": {
    "text": "This article by @adammarblestone.bsky.social brilliantly illustrates how Lean and other proof assistants are enabling new forms of mathematical collaboration and verification in our AI-driven world. We're grateful for Adam's valuable guidance as a board member of the Lean FRO!\n\n#LeanLang #LeanProver",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.record",
      "record": {
        "cid": "bafyreib75r4wz5epe54yddrpu54wl3dlb5k36nx7q3cmuaequcqnddgxrm",
        "uri": "at://did:plc:7b5wmtw4v2axtr4oolj2itio/app.bsky.feed.post/3lif7iphlos2e"
      }
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "$type": "app.bsky.richtext.facet",
        "index": {
          "byteEnd": 44,
          "byteStart": 16
        },
        "features": [
          {
            "did": "did:plc:5wltyh3mf32elby7lmku5fg5",
            "$type": "app.bsky.richtext.facet#mention"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 288,
          "byteStart": 279
        },
        "features": [
          {
            "tag": "LeanLang",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 300,
          "byteStart": 289
        },
        "features": [
          {
            "tag": "LeanProver",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      }
    ],
    "createdAt": "2025-02-18T20:14:51.127Z"
  }
}