I work at the intersection of Homotopy Type Theory, Category Theory, and functional programming, with a focus on constructive foundations/dependent type theory
-
Ben Gurion University
- Beer Sheva University
- https://www.linkedin.com/in/jackwidman/
- @jackwidman
- https://soundcloud.com/jack-widman-368334813
- https://www.pinterest.com/jackwidman/
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.