tla-plus

Personal workspace for TLA+ tutorials, research and development.

Name		Name	Last commit message	Last commit date
Latest commit History 95 Commits
distributed-algorithms		distributed-algorithms
examples		examples
fizzbee		fizzbee
hello_world		hello_world
lamport		lamport
pantopic/config-bus		pantopic/config-bus
practical-tla-plus-master		practical-tla-plus-master
practical-tla-plus		practical-tla-plus
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md

Provide feedback