Relevant source code in code/addition.
Thesis in doc.
Poster for thesis in poster.
Presentation for TechDay in presentation.
Execute Stainless with ./code/bin/stainless.sh <path to code> (e.g. ./code/bin/stainless.sh code/addition/src/main/scala/reduced/).