I'm using these lectures and this online rendering of the book to work through SICP.

I skipped exercise 1.13 - maybe come back later when I've looked up how to mathematically prove something.