kirrya95 / tla-apalache-workshop Goto Github PK
View Code? Open in Web Editor NEWThis project forked from informalsystems/tla-apalache-workshop
Material for a workshop on Apalache and TLA+. To be populated with more examples.
License: Apache License 2.0