/PRM-System-T

Formalisation of Goedel's System T in Coq

Primary LanguageCoq

Watchers

No one’s watching this repository yet.