4 ms·How does the performance compare to TLA+? Especially curious if you've run it under PyPy.by neolog 6y agoHow does the performance compare to TLA+? Especially curious if you've run it under PyPy.