|
|
|
user: ykonstant
created: 2018-10-25
karma: 2675
I am a research mathematician working in homogeneous dynamics and number theory; also interested in proof assistants, math outreach and personalized mathematics education. I do shell scripting and general-purpose programming in Lean as a hobby.Webpage: https://ykonstant1.github.io
Contact: ykonstant@gmail.com
submissions:
|
|