Popular repositories

1. ModelTheoryInLean8 ModelTheoryInLean8 Public

   Proof of Ax-Grothendieck (using work from Flypitch project)

   Lean 2

2. ModelTheory8Report ModelTheory8Report Public

   TeX 2

3. model_theory_notes model_theory_notes Public

   Notes on pure model theory and model theory of fields

   TeX 1

4. discrete_fibrations discrete_fibrations Public

   Here we compare the definitions of the category of presheaves as discrete fibrations and as functors into the universe

   TeX 1 2

5. choice_zorn choice_zorn Public

   Proof of zorn's lemma

6. jekyll_site jekyll_site Public

   please god

   Ruby