search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 480 forks source link

Translation relation and decision procedure for UPLC Inline #6372

Open ramsay-t opened 2 months ago