Naïm Camille Favier
@ncf@types.pl
PhD student at Chalmers interested in univalent foundations, category theory and music.
types.pl
Naïm Camille Favier
@ncf@types.pl
PhD student at Chalmers interested in univalent foundations, category theory and music.
types.pl
@ncf@types.pl
·
Mar 20, 2026
2
4
0
Conversation (4)
Showing 0 of 4 cached locally.
Syncing comments from the remote thread. 4 more replies are still loading.
Loading comments...