plutus icon indicating copy to clipboard operation
plutus copied to clipboard
verified publisher icon IntersectMBO

Determinism proofs for Reduction Semantics.

Open ramsay-t opened this issue 8 months ago • 0 comments

Proof of ⟶-det and related lemmas in the metatheory.

ramsay-t avatar Apr 16 '25 13:04 ramsay-t