Trebor-Huang / history

History of type theory (Chinese).
335Updated last week

Alternatives and similar repositories for history:

Users that are interested in history are comparing it to the libraries listed below