This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

Dominik Wehr

@dw@mathstodon.xyz

Joined: 11/23/2022

128

Followers

78

Following
ProfileTrailsStatistics

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

dw has no public lists

Timeline

dw has no activity yet