# TLC Model Checker Config ## Metadata **Status**:: #x **Zettel**:: #zettel/fleeting **Created**:: [[2026-01-14]] **Parent**:: [[TLC Model Checker]] ## Synopsis - [Document via Apalache](https://apalache-mc.org/docs/apalache/tlc-config.html) - [Document via VS Code Extension](https://github.com/tlaplus/vscode-tlaplus/blob/master/resources/knowledgebase/tlc-config-files.md)