cnewstead

followers

0

following

0

stars

Carnegie Mellon University

Pittsburgh, PA

https://math.cmu.edu/~cnewstea

Clive Newstead's repositories

infdesc

An Infinite Descent into Pure Mathematics

Language:TeX41 1 1

HoTT

Homotopy type theory

Language:CoqNOASSERTION100