npm · crates.io
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Apache-2.02026年10月19日 · 指标 2.10.0
全部标签
目录标签
#specification-language
公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。
1 条记录