Faux Type Theory: three minimalist OCaml simple proof checker implementationsgithub.com/andrejbauer3 pointsmatt_d9 months ago