Introduction: Victor Locherer

Stream: new members

[Victor Locherer]

Hi, my name is Victor, I'm a first year master's student in math at Université Paris Cité. I was introduced to lean by @Riccardo Brasca with whom I'm currently working on a proof of a factorization of cyclotomic polynomials over a finite field (as part of the master's degree). I'm looking forward to finding out more about lean and proof assistants.