Remote
Egbert Rijke
@egbertrijke@mathstodon.xyz
mastodon 4.7.2Postdoc at Johns Hopkins formalizing mathematics
826 Followers
123 Following
0 Posts
Joined April 27, 2022
Website:
Pronouns:
He/him
No posts yet
This profile has no cached posts yet.