Rankings
Badges
/
awodey
Rankings
Badges
Overview
Ranks
Repositories
Languages
Steve Awodey
@awodey
Refresh
Open GitHub
🇺🇸 Pittsburgh PA
CMU
Profile age: over 14 years
Updated 9 days ago
259 followers • 0 following
Contacts
sawodey@gmail.com
https://awodey.github.io
Repositories
CatLogNotes
80
4
updated over 3 years ago • age about 6 years
math
27
2
updated 5 days ago • age over 11 years
TeX
99.6%
Rich Text Format
0.4%
joyal
15
1
updated over 1 year ago • age over 1 year
Lean
100.0%
HRT
8
1
updated 4 months ago • age about 1 year
TeX
100.0%
Impredicative
6
2
updated over 7 years ago • age almost 8 years
Lean
100.0%
awodey.github.io
6
0
updated 2 months ago • age almost 4 years
SigLog
0
0
updated almost 11 years ago • age almost 11 years
TeX
100.0%
cubical-assemblies
0
1
updated over 7 years ago • age over 7 years
TeX
100.0%
Contributions
2015
book
1 PR
+4
-4
TeX
2,104
373
1
2014
book
1 PR
+1,068
-2
TeX
2,104
373
1
2013
book
1 PR
+2
-2
TeX
2,104
373
1
2012
Archive
2 PRs
+17,909
-0
12
2
2011
Coq-HoTT
1 PR
+1,726
-0
Rocq Prover
1,350
197
14
