ykonstant
- Karma
- 2,641
- Created
- 7 years ago
About
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
Recent Submissions
- 1. ▲ The Day Feynman Realized Students Knew Nothing [video] (youtube.com)