TheoWinterhalter / ett-to-wtt

Coq formalisation of a translation from (an) extensional type theory to (a) weak type theory

Geek Repo

Github PK Tool