GitHub repository: Jlh18/ModelTheoryInLean8
Primary language: Lean
Created: 2021-11-09T19:17:32Z
Description: working towards Ax-Grothendieck (using work from Flypitch project)