Getting started This is a collection of examples to getting used to working within this project. Language and Compilation The basic grammar Modifying the predefined grammar The compilation pipeline Verification The Hoare Calculus