You 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.
Note that daily development issues are handled at Apalache GitHub. If you have run into a clear bug, the GitHub repository is the best place to file a bug report.