{"schemaVersion":1,"target":{"type":"reading","id":"03dbfe359e391d47c3c4f471d2d71a5066909b3d7d7cdbe256f8b6dffdf2f99c","revision":"687e053b-b7b5-4f42-8d69-daba20689bc5","revisionKind":"publication-id","title":"Scaling Lean Theorem Proving for Real-World Code Verification","url":"https://escapemeridian.com/readings/scaling-lean-theorem-proving-for-real-world-code-verification-03dbfe35"},"source":{"type":"source","id":"https://arxiv.org/abs/2610.38174","revision":"5e6e85009f56fe7e36004813fc2aa5b4672c3ca49b49b91da34cdb39ee40564f","revisionKind":"sha256-source-text","title":"Scaling Lean Theorem Proving for Real-World Code Verification","url":"https://arxiv.org/abs/2610.38174"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."}