Liquid types for verification of smart contracts This repository contains the latex files used to compile my master's thesis