Extension TLA+ pour l'editeur Zed¶

Resume¶

Extension de syntax highlighting TLA+ pour l'editeur Zed, basee sur tree-sitter. Support des fichiers .tla (keywords, operateurs, navigation de symboles, code folding) et .cfg (directives TLC). Projet early-stage (1 star, 8 commits).

Analyse critique¶

Signal que TLA+ gagne en traction dans l'outillage dev au-dela du toolbox officiel et de l'extension VSCode. Historiquement le support editeur etait limite. Voir des extensions apparaitre pour Zed montre que la verification formelle sort du cercle academique.

Pertinence ProbatioVault¶

Pas d'impact direct. Le workflow utilise VSCode avec l'extension TLA+ officielle. A noter si migration vers Zed un jour.