Mathematics

Naïm Camille Favier
6,750
reputation
  • Gothenburg, Sweden
  • Member since November 12 2017
  • 1570 profile views
  • Last seen Jan 04 '26 at 12:26

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