Cross-Reference Redirection

Table of Contents

	Week 1: Reading what a theorem says
	Week 2: Following a proof step by step
	Week 3: Definitions, types and conventions
	Week 4: Auditing a proof
	Advanced: Auditing real theorems
	Practice
	Lab
	About