godels-t

Agda ★ 7 updated 9y ago

Formalization of a bunch of properties of Godel's System T in agda

No plain-English explanation yet — one is being written right now. Check back in a minute.