TLA+ tutorial/spec of the movie

[Jeremy Wright]

I made a tutorial based on a scene in the movie A Brilliant Young Mind: https://youtu.be/WYYGcK_mDu0

I'd appreciate any feedback on the spec: https://gist.github.com/JeremyLWright/151d3b03b81fa24f2274895fa520ee66

Or how I present the material.

Thank you!

Jeremy