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