tchajed / goedel-tLinks

Formalization of termination of Gödel's System T
9Updated 4 years ago

Alternatives and similar repositories for goedel-t

Users that are interested in goedel-t are comparing it to the libraries listed below

Sorting: