Ah, the videos come with pointers to exercises? I'm quite excited about https://www.edukera.com/ and possibilities for interactive learning through automated theorem proving. Thanks!
Actually, there are not many pointers to exercises. I believe they may be planning to add some written materials, so maybe in the future, but not currently.
The videos suggest pausing and trying to figure the next bit out yourself and a couple of the videos do end with a suggestion to prove something yourself.
The videos suggest pausing and trying to figure the next bit out yourself and a couple of the videos do end with a suggestion to prove something yourself.