@cardano / plutus-metatheory

Command line tool for running plutus core programs