A table at the centre of Struiwigh’s studio acts as a sort of work bench, where she will focus on one or two instruments for whatever project she’s currently working on.

Khan Academy is the best online tutorial platform on the web for math tutorials. I have used several with students and on my own to review or learn new skills.

Source code for the Mathematics in Lean tutorial. Contribute to avigad/mathematics_in_lean_source development by creating an account on GitHub.