Skip to Content.
Sympa Menu

k-user - K-user mailing list

k-user AT

Subject: 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:

For general discussion on everything K related, we use the following chat channel:

If you want to report an error, you can make a GitHub issue:

Please use any of the above to get in touch.

Top of Page