# Hillel Wayne - Learn TLA+ ## Highlights - [[Hillel Wayne - A Simple Spec Learn TLA+ (Highlights)]] - [[Hillel Wayne - Behaviors Learn TLA+ (Highlights)]] - [[Hillel Wayne - Concurrent Invariants Learn TLA+ (Highlights)]] - [[Hillel Wayne - Labels Learn TLA+ (Highlights)]] - [[Hillel Wayne - Procedures and Macros Learn TLA+ (Highlights)]] - [[Hillel Wayne - Processes Learn TLA+ (Highlights)]] - [[Hillel Wayne - Termination Learn TLA+ (Highlights)]] - [[hwayne on Hacker News - How does Alloy compare to TLA+ (Highlights)]]