Re:TLA+
by hwayne on Monday March 08, 2021 @03:22PM
(#26390983)
I use a personal wrapper around the command line for most of my work. It's incomplete and has a few holes, but it gets the job done for me. https://github.com/hwayne/tlacli
[ Parent
| on HN ]