tla-apalache-workshop
tla-apalache-workshop copied to clipboard
Published
20 hours ago •
informalsystems
informalsystems
Material for a workshop on Apalache and TLA+. To be populated with more examples.
Results
1
tla-apalache-workshop issues
Sort by
recently updated
recently updated
newest added
As discussed in today's Engineering Reading Club, this PR contains our progress in working through [this tutorial](https://apalache.informal.systems/docs/tutorials/entry-tutorial.html) so far.
Metadata
22
Stars
5
Forks
Watchers
Owner
Metadata
Material for a workshop on Apalache and TLA+. To be populated with more examples.