====== FAQ ======

==== Do you need to know math to learn TLA+? ====

==== Can I use TLA+ for web development? ====

==== Do you get trace for violated temporal properties? ====

No, state trace for violated temporal properties is not supported.