Incremental Hazelnut This repo contains the code and formalism for ideas around incremental Hazelnut. Formalism To compile the formalism: make formalism.pdf