Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.gitignore		.gitignore
MayhemMandril.tla		MayhemMandril.tla
README.md		README.md

Repository files navigation

TLA+ Practice

Currently contains:

An attempt to model the MayhemMandril system from Lynn Root's Async Python Tutorial (WIP)

About

TLA+ Model Practice

Report repository

Releases

No releases published

Packages

No packages published

Languages

TLA 100.0%