jacopo moretti

Stream: new members

[jacopo quartztz moretti]

hello! introducing myself as per thread instructions :3

i am jacopo moretti (quartztz is fine), a computer science masters' student at EPFL, in switzerland. my background is in program verification and formal methods, with a recent focus on interactive theorem proving. I have been using lean recreationally for some time, but since I’m starting a more “serious” project, i felt like joining this chat to ask questions about best practices and whatnot!

i am in the process of formalizing a few recent results in computer science/topology, so my focus as of right now is understanding how mathlib works, in hopes of maybe contributing some of my work in the future! i’m very excited with regards to where this project will go in the future and i’d love to be able to be part of it.

[Kevin Buzzard]

The EPFL topology course in the maths department starting in September will have a lean component this year! Maybe you want to help developing the game which is being developed for the course? DM me if you want more details