Egbert Rijke
@egbertrijke@mathstodon.xyz
Joined: 27/04/2022
About Egbert Rijke
Postdoc at Johns Hopkins formalizing mathematics
Lists
egbertrijke has no public lists
Timeline
egbertrijke has no activity yet
@egbertrijke@mathstodon.xyz
Joined: 27/04/2022
Postdoc at Johns Hopkins formalizing mathematics
egbertrijke has no public lists
egbertrijke has no activity yet