K-user mailing list

private information

This is a list for technical questions about the K framework and for news on major K tool updates. Ask general, non-technical questions at info@kframework.org.

Top of page