In this game, we will build the basic theory of the natural numbers {0,1,2,3,4,...} from scratch. Our first goal is to prove that 2 + 2 = 4. Next we'll prove that x + y = y + x. And at the end we'll see if we can prove Fermat's Last Theorem. We'll do this by solving levels of a computer puzzle game called Lean.

Learn and understand quantum computing with built-in spaced repetition. I really like this method of learning and would like to see more courses that use this method and tech about some programming concepts.

Online simulator to learn automotive wiring and how to troubleshoot and fix problems with it