andreabedini / plutus-metatheory

Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)

Geek Repo

Github PK Tool