discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
TLA+ Made Simple with ChatGPT
https://zfhuang99.github.io/tla+/pluscal/chatgpt/2023/09/24/TLA-made-simple-with-chatgpt.html
2 comments
13/10/2023
ai , formalmethods