# Apalache ## Metadata **Status**:: #x **Zettel**:: #zettel/fleeting **Created**:: [[2026-01-11]] **URL**:: [apalache-mc.org](https://apalache-mc.org/) ## Synopsis A model checker can be used to check [[TLA+]] and [[Quint]]. ## Tutorials - [[Annotate Any Type for Apalache]] - [[Fix Apalache Assignment Error]]