Category "tla+"

How to use git effectively with TLA+ toolbox

The TLA+ toolbox creates a lot of files and directories. What's a good way to work with the spec and the model and keep them versioned in git, and also use the