HowardMei

Author

HoTT WebBook

Homotopy Type Theory 新数学与类型基础试译Web版,原著:https://github.com/HoTT/book

Created 2 years ago

0