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
·
Oct 15, 2025
@zwarich that's the most citation-needed [citation needed] that's ever needed citation
0
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...