ATProto Browser

Record data

{
  "uri": "at://did:plc:mvjpulmrycnajuajriksd5mu/app.bsky.feed.post/3lli2gamoxk2e",
  "cid": "bafyreibt3waizhmhvzncq5uim4c7m4koanbqri3shg7abevgxy3kxlynau",
  "value": {
    "text": "i.e. STMT1: \"if there is a proof of A |- B, there is a proof of C |- D\"\n\nHmm. Well that question is being asked outside the system, so I can't use my computer program to search for proofs of STMT1.",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreihlicidm3vqgt7bqt4wjr4zqpnrxgrl6nahhglp2ab5a24zegldjy",
        "uri": "at://did:plc:mss5l446ynjlw6e67y6u5fsq/app.bsky.feed.post/3llhsvvvn4c24"
      },
      "parent": {
        "cid": "bafyreiflruyiuwqvc42afdwkaaccgvsos55nciczokiekurui75ypp4n4q",
        "uri": "at://did:plc:mvjpulmrycnajuajriksd5mu/app.bsky.feed.post/3lli2dthwxk2e"
      }
    },
    "createdAt": "2025-03-29T00:16:15.919Z"
  }
}