@dw@mathstodon.xyz
Joined: 11/23/2022
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.
dw has no public lists
dw has no activity yet