Naïm Camille Favier
731
reputation
2
7
PhD student at Chalmers University of Technology working on cubical type theory.