Naïm Camille Favier
ncfavier.bsky.social
Naïm Camille Favier
@ncfavier.bsky.social
PhD student at Chalmers University of Technology working on cubical type theory. https://monade.li
No videos yet.