2024-09-09-talk-hds-lee-retreat

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.