jroesch
Jared Roesch
PhD student @ UW, rustc + lean hacker.
Seattle, WA
It is proven!
jroesch and jroesch are the same person, with the same public keys. You can see the proof or close this notice.
