About Me
Blog
Publications
CV

Proof

November 07, 2022

2022

I’m attending the Autumn School on Proof Theory 2022 in Utrecht.

© Copyright 2025 Marc Hermes. Powered by Jekyll with al-folio theme. Hosted by GitHub Pages.