Syntax Extensibility in Lean 4

Talk given during a stay at Tobias Grosser’s group. The last talk of my PhD.

Slides