3 ms·

Have a look at https://zfhuang99.github.io/tla+/pluscal/chatgpt/2023/09/24/TLA-made-simple-with-chatgpt.html https://zfhuang99.github.io/tla+/pluscal/chatgpt/20

by gjadi 1y ago

Have a look at https://zfhuang99.github.io/tla+/pluscal/chatgpt/2023/09/24/TLA-made-simple-with-chatgpt.html https://zfhuang99.github.io/tla+/pluscal/chatgpt/2023/09/24/...