Basic math exercises about examples

[Alexander-N]

Another option would be to put small exercises like this into Jupyter notebooks, here is an example for the ones from Learn TLA+.

[lemmy]

This issue is primarily about the content and less about the front-end (IDE). That said, why do you think that a Jupyter notebook is a good first-user front-end? My concern is that users would have to learn a new front-end once they move from constant- to state-level TLA+. If this is about a web-experience, the VSCode extension runs on Gitpod and VS/Github codespaces.

[Alexander-N]

Not having to install anything is one point, but I also like the experience of being able to easily check the output of the expression and then seeing the solution. It's true it's yet another tool which a beginner does not necessarily need to know, but for me notebooks are the most convenient way to try out things, I also like that I can document the code with markdown in the same file. It's a matter of preference and familiarity I guess.

About the exercises itself I think they have a good progression from easy to more difficult.