User: ykonstant

Created: 2009 days ago
Karma: 1421
I work in homogeneous dynamics and number theory; also interested in proof assistants, math outreach and personalized mathematics education. I do posix shell scripting and general-purpose programming in Lean as a hobby.
Contact: ykonstant@gmail.com