ATProto Browser

Record data

{
  "uri": "at://did:plc:m2exq6q25qls56cvslfoqxzz/app.bsky.feed.post/3llyhmem6u22h",
  "cid": "bafyreifdieauzbx7d64stzplnm5rqiz5itagujifd2xr77e5tdu4txoeya",
  "value": {
    "text": "Somebody should make a tool that takes a mathematical paper and autogenerates a \"lemma flowchart\" that depicts which lemmas etc. are direct inputs to which other results.",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "createdAt": "2025-04-04T12:54:55.881Z"
  }
}