hengxin/tla2tex

TLA+ Code to TeX Code using tla2tools.jar

语言：TeX · GitHub 星标：10 · Fork：2

话题：tex · tla · tla2tex · tlaplus

在 GitHub 上查看原仓库