Mathematics

Vincent R.B. Blazy
61
reputation
  • Montpellier / Paris
  • Member since June 02 2019
  • 58 profile views
  • Last seen Nov 06 '25 at 08:34

PhD student in Type Theory, Foundations lover.