Talks
The Category of Iterative Sets in Cubical Agda
2026-04-22
|
Stockholm–Gothenburg Type Theory Meeting
The Category of Iterative Sets in Cubical Agda
2026-02-06
|
Master's thesis defence, Stockholm University
Demystifying Proof Assistants: An Introduction to Interactive Theorem Proving
2024-04-23
|
Stockholm Master in Mathematics Seminar