User varkor - MathOverflow Stack Exchange

varkor

8,685

reputation

U.K.
Member since February 21 2020
1133 profile views
Last seen Apr 06 '24 at 21:13

Type theorist and Rust compiler developer. I make q.uiver.app.