Plugging this again if you want a quick visualizer client side program to go back and forth with an ai. Granted opus 5.5 can probably 1 shot this now<a href="https://tlaplus-process-studio.com/" rel="nofollow">https://tlaplus-process-studio.com/<a href="https://github.com/RCSnyder/tlaplus-process-studio" rel="nofollow">https://github.com/RCSnyder/tlaplus-process-studioAlso the hard part is connecting the tla+ spec to the implementation code with traces
uptodatenews · · focus · HN ↗
<a href="https://tlaplus-process-studio.com/" rel="nofollow">https://tlaplus-process-studio.com/
<a href="https://github.com/RCSnyder/tlaplus-process-studio" rel="nofollow">https://github.com/RCSnyder/tlaplus-process-studio
Also the hard part is connecting the tla+ spec to the implementation code with traces