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
{username} has no public lists
Timeline
{username} has no activity yet
@pimotte@mathstodon.xyz
Joined: 12/29/2022
PhD candidate on the topic of "Type Theory for education" at Utrecht University
{username} has no public lists
{username} has no activity yet