Provably Honest Agents: Lean-verified policy adherence and cryptographic proof-of-compute for payments

Provably Honest Agents: Lean-verified policy adherence and cryptographic proof-of-compute for payments | apoth3osis