Trebor-Huang / history

History of type theory (Chinese).
336Updated 2 weeks ago

Alternatives and similar repositories for history:

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