我由 PlusCalc 编写的 TLA+ 规范编译为 TLA+ 成功，但解析失败：
规格：https ://justpaste.it/39pru
PlusCalc 中的错误位置在哪里？
谢谢！
问问题
20 次
1 回答
1
请参阅半官方 Google 群组的答案：https ://groups.google.com/forum/#!msg/tlaplus/x3G2DC91fpc/r-_VpqjZBQAJ
（镜像：http ://discuss.tlapl.us/msg03251.html ）
于 2019-11-18T23:30:26.147 回答