Semantic Equivalence proofs for UPLC Phases... - Githubissues

IntersectMBO / plutus

The Plutus language implementation and tools

Apache License 2.0

1.57k stars 479 forks source link

Semantic Equivalence proofs for UPLC Phases... #6615

Open ramsay-t opened 4 weeks ago

ramsay-t commented 4 weeks ago

Phases:

[ ] UCSE Semantic Equivalence proof
[ ] UCaseOfCase Semantic Equivalence proof
[ ] UCaseReduce Semantic Equivalence proof
[ ] UFloatDelay Semantic Equivalence proof
[ ] UForceDelay Semantic Equivalence proof
[ ] UntypedTranslation Semantic Equivalence proof
[ ] UntypedViews Semantic Equivalence proof