/masters-thesis

Liquid types for verification of smart contracts --- my master's thesis in computer science

Primary LanguageTeX

Liquid types for verification of smart contracts

This repository contains the latex files used to compile my master's thesis