Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus) - View it on GitHub