Pim Otte
pimotte@mathstodon.xyz
<p>PhD candidate on the topic of "Type Theory for education" at Utrecht University</p>
Posts
No posts.
pimotte@mathstodon.xyz
<p>PhD candidate on the topic of "Type Theory for education" at Utrecht University</p>
No posts.