# TLA+ ## Metadata **Status**:: #now **Zettel**:: #zettel/fleeting **Created**:: [[2026-01-10]] ## Synopsis ## References - [[Hillel Wayne - Learn TLA+]]