Bachelor's Thesis: Provable Determinism in Reactors

As of yesterday, I’ve completed my bachelor’s degree in computer science at TU Dresden. The topic of my thesis was Provable Determinism in Reactors, in which I formalize a simplified version of a mathematical model of computation called Reactors, and prove that it is deterministic. For this I used an awesome tool for formalizing mathematics, called Lean. I’ve uploaded my thesis, the corresponding formalization code, and written versions of two talks about this to a GitHub repo.