2. Proof Techniques Notes | Discrete Structure BEI | TU | TABFlux