GitHub repository: Jlh18/ModelTheoryInLean
Primary language: Lean
Created: 2021-07-03T10:33:56Z
Description: working towards Ax-Grothendieck (using work from Flypitch project)