Showing 1 of 1 repositories tagged #proof-carrying, ranked by stars
Deterministic proof-carrying decision core with replay verification, WAL, and fixed-point budget proofs
