quint-co/quint
@quint-co基于动作时序逻辑（TLA）且具备优秀工具链的可执行规格语言
星数
1,654
Fork 数
144
语言
TypeScript
许可
Apache-2.0
最后推送
3周前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
基于动作时序逻辑（TLA）且具备优秀工具链的可执行规格语言
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。