fsieczkowski / System-T

Formalisation of Goedel's System T in Coq
15Updated 13 years ago

Alternatives and similar repositories for System-T:

Users that are interested in System-T are comparing it to the libraries listed below