This (unofficial) repository contains the exercises for the STRONG2020 HaSP School which was organised in Salamanca in 2023. Many of the files hosted in this repository originate from the lecture material.
See CONTRIBUTING.md for information on how to contribute to this repository.