Proofs

Table of Contents

• Finiteness of Sets: how to prove the finiteness of sets
• Lemma Collections: overview on useful lemma collections
• Methods: overview on available proof methods
• Proof Patterns: common proof patterns