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
flutter-getx
verifiable-c
search-tree
pay-per-view
unchecked
uninitialized-constant
e-signature
gru
api-authorization
stdvector
cognex
mongock
image-recognition
avplayerview
xcode12
download-manager
cloaking
disabled-input
ora-00979
simpletransformers
qmainwindow
stdinitializerlist
page-refresh
ssziparchive
divide-by-zero
banner-ads
vertx-kafka-client
capacitor
webkitspeechrecognition
syntax
