什么是TLA+？

TLA+是一种形式化描述语言。它是一种以编程的方式验证设计的系统或算法是否存在严重的Bug，相当于软件版的蓝图。

这是一个初学者友好的教程吗？

本教程以简单实用的方式介绍了TLA +的基础知识。如果您想从头开始，你需要先了解在这里介绍的内容。如果你想先直接深入进来，可以先试试这个例子？

无论哪种方式，欢迎来到TLA+！