hwayne/learntla-v2

This is stars and forks stats for /hwayne/learntla-v2 repository. As of 16 Apr, 2024 this repository has 143 stars and 34 forks.

Learntla V2 A guide to learning the TLA+ specification language. Going to be a gigantic mess right now, will be a while before the dust settles. Usage Installation Requires Python 3.10. git clone https://github.com/hwayne/learntla-v2.git python -m venv learntla-v2 # Activate the venv yo python -m pip install -r requirements.txt Building # with todos sphinx-build docs/ docs/_build/html/ # without todos sphinx-build -D todo_include_todos=0 docs/ docs/_build/html/ # check links for issues sphinx-build...