July 22, 2022 Draft Type Theory and Formal Proof Learning notes of the book Type Theory and Formal Proof. TODO