About vyorkin
I’m into math, physics, automated/manual theorem proving, statically typed functional programming, compilers and formal verification.
Games vyorkin plays
4 categories · all time
Category | Streams | Hours | Peak | Avg. place | Best place | Last played |
|---|---|---|---|---|---|---|
 Factorio | 5 | 56 h | 6 | — | — | Jul 10, 2026 |
 The Witcher 3: Wild Hunt | 21 | 37 h | 5 | #14.5RU | #6 | Jul 24, 2026 |
 Software and Game Development | 3 | 11 h | 5 | — | — | Jul 13, 2026 |
 Just Chatting | 1 | 2.0 h | 2 | — | — | Jul 15, 2026 |