hengxin/tlaps-examples

Examples for TLAPS (TLA+ Proof System)

语言：TeX · GitHub 星标：17 · Fork：6

话题：formal-methods · theorem-prover · theorem-proving · tlaplus · tlaps

在 GitHub 上查看原仓库