Updated to final version of the project

Leon Raffael Schulzrequested to merge
dev into main

exponential_blow_up.thy contains now the final version of the project.

Merge request reports

Imprint - Data Protection Policy