Why do you say that? It's far from perfect but it does work (and has for a few years), and it helps you by requiring proof that actions are disjoint. There is

Why do you say that? It's far from perfect but it does work (and has for a few years), and it helps you by requiring proof that actions are disjoint. There is work now on including Z3 which would work this much smarter. https://nim-lang.org/docs/manual_experimental.html#parallel-amp-spawn-parallel-statement https://nim-lang.org/docs/manual_experimental.html#parallel-...