Differences
This shows you the differences between two versions of the page.
| using:ai_linter [2024/09/28 15:58] – created - external edit 127.0.0.1 | using:ai_linter [2024/10/25 16:51] (current) – fponzi | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| 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. | 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/ | + | Find more info on: https:// |
127.0.0.1