{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiefqkrsp437onlslzyhp5n6sjbnsodrxecgn4baa3gd5cwhpqgtsu",
    "uri": "at://did:plc:oldu4osfqstkn27t4qzsrgtf/app.bsky.feed.post/3mfe7ua3urlc2"
  },
  "path": "/ai/lean4-how-the-theorem-prover-works-and-why-its-the-new-competitive-edge-in",
  "publishedAt": "2026-02-17T12:58:37.000Z",
  "site": "https://venturebeat.com",
  "tags": [
    "Comments"
  ],
  "textContent": "Comments",
  "title": "Lean 4: How the theorem prover works and why it's the new competitive edge in AI"
}