Eric Schmid - Homotopy Type Theory

Eric Schmid - Homotopy Type Theory

Eric Schmid
E S

jeanpierreserre

2023/02/17
  1. 1Homotopy Type Theory

GV

β€’

Open edition

Released by Graham Vunderink Gallery

favorited by (0)

    No favorites yet.

collected by (1)

  • mike p

recommendations

more from user (30)

appears in (1)

About

FAQ

Terms

Instagram

X

Discord

Soundcloud

Β© 2025 Nina Protocol

Now Playing

0:00

-0:00