proved termination for gcd_trace.

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>
win kinda.

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>
added naive implementation and placeholder slides.

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>
updated slides

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>