Arshak Parsa

Stream: new members

[Arshak Parsa]

Hi!
I'm an undergraduate statistics student at Semnan University.
I want to prove some statistics theorems in Lean4 and contribute to mathlib. Right now, I'm looking for memoryless property, but I've not found anything about that. So I guess I may start with that.