Mike Shulman

http://www.sandiego.edu/~shulman

University of San Diego San Diego, CA

Results 3 repositories owned by


                                            Mike Shulman

catlog

72

Stars

9

Forks

Watchers

Categorical logic from a categorical point of view

ohtt

34

Stars

2

Forks

Watchers

H.O.T.T. using rewriting in Agda

cohesivett

18

Stars

3

Forks

Watchers

Cohesive type theory