# Formal proofs

This repository houses all theory proofs to test the Fenrir project.

NOTE: some of the proofs might be tests, of for older versions of Fenrir

**This is a dump of proofs I worked on**

# TODO

* general clean up
* add cryptoverif proof