tlaplus-community/tlauc

Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa

语言：Rust · GitHub 星标：44 · Fork：2

在 GitHub 上查看原仓库