About Dominik Wehr

I am a PhD student at the Logic group of the University of Gothenburg.

Currently working on cyclic proof theory but also interested in wider proof theory. Also fond of constructive mathematics and metamathematics more generally.

Lists

Timeline

{username} has no activity yet