This repository contains a talk given at the HDS-LEE Retreat 2024 (URL) about Johannes Wasmer’s PhD project (URL).
Slides.
Speaking notes.
Development notes.