I'm at about the same place with the TLA+ videos. I finished them a year ago and didn't feel like I could start a project yet, I more feel like I should watch t

I'm at about the same place with the TLA+ videos. I finished them a year ago and didn't feel like I could start a project yet, I more feel like I should watch them a second time. I have an actor system project on the side that I've felt tempted to model using TLA+.