Started on defence presentation
Formal verification and Agda slides
Using verified code
State the goal
Big picture goal, existing solutions, goal and tasks of this work
Implementation overview
Expand on the global goal; move translations to EXTRA