User Vincent R.B. Blazy - MathOverflow Stack Exchange

Vincent R.B. Blazy

47

reputation

Montpellier / Paris
Member since January 31 2019
70 profile views
Last seen Mar 28 '24 at 16:02

PhD student in Type Theory, Foundations lover.