K-user mailing list

The k-user mailing list is no longer active.

Instead, we answer technical questions about the K framework at Stack Overflow. You can post your question here: https://stackoverflow.com/questions/tagged/kframework

For general discussion on everything K related, we use the following chat channel: https://riot.im/app/#/room/#k:matrix.org

If you want to report an error, you can make a GitHub issue: https://github.com/kframework/k/issues

Please use any of the above to get in touch.

Top of page