Steve Awodey

icon indicating a website link https://awodey.github.io icon indicating an email [email protected]

icon company CMU icon location Pittsburgh PA

Results 2 repositories owned by Steve Awodey

CatLogNotes

61
Stars
3
Forks
Watchers

Categorical Logic Notes

verified publisher icon awodey

math

23
Stars
1
Forks
Watchers

Mathematical notes and papers

verified publisher icon awodey