Elaborate enough on the proof assistants
Fix the last TODO in the implementation section
Add the diagram for the intro
Fix a quote
Comment on mitigation
Include contingency in the Gantt chart
Remove the last TODO
Remove the list of TODOs
Grammar fix
Merge two citations
Change times -> time domain
De-pun
Re-add some TODOs
Rephrase paragraph on git
Make changes suggested by Sue
TODO fixing
Fix some TODOs
Satisfy Agda's programming language aspirations
Turn off todonotes