Skip to content

GitLab

Explore

Sign in

T

tlatools

Project information

Modified version of the TLA+ tools for usage in ProB

7,491 Commits
3 Branches
3 Tags

README
MIT License
CONTRIBUTING

Created on

July 18, 2024

Copy SSH clone URLgit@gitlab.cs.uni-duesseldorf.de:general/stups/tlatools.git
Copy HTTPS clone URLhttps://gitlab.cs.uni-duesseldorf.de/general/stups/tlatools.git