[hwayne]

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

[agstewart]

Thanks for your all your content on TLA+ -- learntla.com was very helpful!