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