User varkor - Mathematics Stack Exchange

varkor

5,634

reputation

U.K.
Member since November 03 2013
386 profile views
Last seen Apr 06 '24 at 17:20

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