foxaal··on Leslie Lamport: Video course on TLA+You wonder if there are code generation possibilities...