Steve Awodey awodey

Achievements

Achievements

Popular repositories Loading

1. CatLogNotes CatLogNotes Public

   Categorical Logic Notes

   81 4

2. math math Public

   Mathematical notes and papers

   TeX 28 2

3. joyal joyal Public

   Lean 16 1

4. HRT HRT Public

   higher realizability topos

   TeX 8 1

5. Impredicative Impredicative Public

   impredicative encodings in Lean

   Lean 6 2

6. awodey.github.io awodey.github.io Public

   Steve Awodey's GitHub pages

   6