Codebase accompanying my Master Thesis

Codebase accompanying the Master Thesis "A terminating type checker for the Plutus smart contracting language in Rocq".