tiny-tlaplus-examples
tiny-tlaplus-examples copied to clipboard
lostbearlabs
Very small examples of TLA+ features.
Results
1
tiny-tlaplus-examples issues
Sort by
recently updated
recently updated
newest added
The more examples the better but for the sake of consistency, I'd suggest to rename the repo and generally change the wording from "tlaplus" to "pluscal".
