Pim Otte
@pimotte@mathstodon.xyz
Joined: 12/29/2022
About Pim Otte
PhD candidate on the topic of "Type Theory for education" at Utrecht University
Lists
pimotte has no public lists
Timeline
pimotte has no activity yet
@pimotte@mathstodon.xyz
Joined: 12/29/2022
PhD candidate on the topic of "Type Theory for education" at Utrecht University
pimotte has no public lists
pimotte has no activity yet