Show pageOld revisionsBacklinksBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== AI Linter ====== TLA+ does not come with a traditional linter or formatter. The TLA+ AI Linter is a GenAI script that uses LLMs to lint TLA+ files. Find more info on: https://microsoft.github.io/genaiscript/case-studies/tla-ai-linter/ using/ai_linter.txt Last modified: 2024/10/25 16:51by fponzi
fponzi