ATProto Browser

Record data

{
  "uri": "at://did:plc:ure4qdue3bs7xqaugjwmw3nr/app.bsky.feed.post/3lms2cfq3qk2b",
  "cid": "bafyreidvuymgyyzhp2wzfyh7zdc5fhzdx4lioiwndeyswitlpefhvk7zrq",
  "value": {
    "text": "After 200 days, we finally have 100% completion on the primary goal of the Equational Theories Project to formally resolve >22 million implications between 4694 equational laws, using modern proof assistants, collaboration platforms, and automated theorem provers. teorth.github.io/equational_t...",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.images",
      "images": [
        {
          "alt": "The dashboard of the project reports a 100.00% completion rate.",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreihmpx2c4h2medahneb3lne6t5l254lqq2v6vrypak7g7p3kgb4zva"
            },
            "mimeType": "image/jpeg",
            "size": 451519
          },
          "aspectRatio": {
            "width": 1589,
            "height": 535
          }
        }
      ]
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 297,
          "byteStart": 265
        },
        "features": [
          {
            "uri": "https://teorth.github.io/equational_theories/dashboard/",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-04-14T17:05:56.063Z"
  }
}