Newbie into TLA #2
Description
Hello! I never heard of temporal logic of actions before neither used it in practice. I noticed there is a .project file inside this repository. Can you point me towards some IDE or an interpreter where I can run this program? Thanks :)