I’ve run into this problem as well and it’s put me off learning TLA+ and information theory, which bums me out. I assume there’s a Khan Academy class that would

I’ve run into this problem as well and it’s put me off learning TLA+ and information theory, which bums me out. I assume there’s a Khan Academy class that would help but it’s hard to find.