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