Shuta Nakajima

Stream: new members

[Shuta Nakajima]

Hi everyone! I am Shuta Nakajima, a researcher working on probability theory and statistical physics. I have just started to learn Lean. I would like to formalize parts of my own research over time and contribute to the Lean community!