Lean

My masters project is to work towards putting the model theoretic result Ax-Grothendieck in lean. My repository for this can be found here.