Naïm Camille Favier

731
reputation
2
7

PhD student at Chalmers University of Technology working on cubical type theory.