# Apalache ## Synopsis A model checker can be used to check [[TLA+]] and [[Quint]]. ## Tutorials - [[Annotate Any Type for Apalache]] - [[Fix Apalache Assignment Error]]