Lecture Notes, Week 08

• More tactics
  • Resources
  • The simpl tactic
  • The do tactic
  • Exercise 01
  • Solution for Exercise 01
  • Exercise 02
  • Resources
  • Version
• The Euclidean division
  • Goal
  • Euclid’s division lemma
  • Exercise 03
  • Exercise 04
  • Exercise 05
  • Exercise 06
  • Exercise 07
  • Resource
  • Version
• Exercises for Week 08
  • Exercise 00
  • Mandatory exercises
  • Version
• Index of concepts for Week 08
  • Version