Category | Topics |
---|---|
Apalache QuestionsWe know that using Apalache efficiently requires a bit of experience. If you have been using TLC and want to try Apalache, feel free to ask questions here. Please ask general questions on TLA+ in the TLA+ User Group. The TLA+ User Group is much larger and it has a lot of active community members.
|
2
|
GeneralCreate topics here that don’t fit into any other existing category. |
2
|
Apalache ResearchHave an idea about improving Apalache? This is the place to discuss your idea.
|
1
|
Site FeedbackDiscussion about this site, its organization, how it works, and how we can improve it. |
0
|
Apalache DevelopmentYou would like to contribute to Apalache but don’t know how? Perhaps, you have an idea but it is not clear to you, whether it would make sense to implement. This is the place to discuss potential directions in the development.
|
0
|
Apalache Success StoriesYou have used Apalache to check a non-trivial TLA+ specification? Tell us about it!
|
0
|