User varkor - Mathematics Stack Exchange

varkor

6,848

reputation

U.K.
Member since November 03 2013
538 profile views
Last seen Jul 12 '25 at 17:27

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