Naïm Camille Favier

5,519
reputation

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