GitHub - Yuepeng-Wang/tlaplus: TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Contributing

Please read our contribution guide before you start working on your contribution. We also have a feature wishlist.

Copyright (c) 199?-2003 HP Corporation
Copyright (c) 2003-2020 Microsoft Corporation

Licensed under the MIT License

Name		Name	Last commit message	Last commit date
Latest commit History 8,059 Commits
.github		.github
general		general
tlatools		tlatools
toolbox		toolbox
.gitignore		.gitignore
.jenkins.groovy		.jenkins.groovy
.travis.yml		.travis.yml
CONTRIBUTING.md		CONTRIBUTING.md
DEVELOPING.md		DEVELOPING.md
LICENSE		LICENSE
README.md		README.md
keystore		keystore
pom.xml		pom.xml