Pavol

Stream: new members

[Pavol Drotar]

Hi I am Pavol, really excited about lean, I am just finishing the natural number game and would love to help in building mathlib. Really happy to help someone out if you need proving some lemmas, or covering one of the missing undergrad topics after I've done some exploration.