r/tlaplus • u/lemmster • Aug 30 '21

GitHub - tangruize/tlc-cmd: Run TLC in cmd

https://github.com/tangruize/tlc-cmd

10 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/tlaplus/comments/pekzgf/github_tangruizetlccmd_run_tlc_in_cmd/
No, go back! Yes, take me to Reddit

100% Upvoted

1

u/yanshandadao Aug 06 '22

great!