Part II - Formalizing

Table of contents

Chapter 3 - Math concepts and notation

Chapter 4 - Formal proofs

Chapter 5 - Subset choice

Chapter 6 - Coherence