I tried to use TLA+ but what annoys me the most is the disconnection between the actual implementation and its code. I think the P language has a much better f

I tried to use TLA+ but what annoys me the most is the disconnection between the actual implementation and its code. I think the P language has a much better future just because it can generate code that works: https://github.com/p-org/P https://github.com/p-org/P