Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.

Chad E. Brown, Cezary Kaliszyk, Karol Pak

Browse the full ITP paper archive.