FAQ
Table Of Contents:
- Do you need to know math to learn TLA+?
- Can I use TLA+ for web development?
- Do you get trace for violated temporal properties?
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 currently not supported.