Johannes
Hostert
Toggle navigation
about
blog
publications
projects
cv
rocq
an archive of posts with this tag
Jun 30, 2026
Small Inversions for Proof Irrelevance