k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Best way to get started?

From: Rikard Hjort <rikard.hjort AT runtimeverification.com>
To: k-user AT lists.cs.illinois.edu
Subject: Re: [[K-user] ] Best way to get started?
Date: Fri, 7 May 2021 12:51:43 +0200
Authentication-results: ppops.net; spf=pass smtp.mailfrom=rikard.hjort AT runtimeverification.com; dkim=pass header.s=google header.d=runtimeverification.com
Organization: Runtime Verification

Hi Mike,

The tutorial is being reworked, but it's still a good entry point.

If you have any questions you can get quick answers in the Runtime Verification discord (https://discord.gg/u3YfWPRk), in Riot chat (https://riot.im/app/#/room/#k:matrix.org) and on Stack Overflow (https://stackoverflow.com/questions/tagged/kframework). All of those reach lots of people, whereas I'm not so sure about this mailing list.

Best,
Rikard

Rikard Hjort Senior Formal Verification Engineer =

Runtime Verification, Inc. 102 E Main St #500, Urbana, IL 61801
We are hiring! https://runtimeverification.com/careers

On 06/05/21 8:57 pm, Mike Stay wrote:

Is the k tutorial here
   https://kframework.org/k-distribution/pl-tutorial/
still the best way for a new user to get familiar with the system?  Or
is it out of date?

[[K-user] ] Best way to get started?, Mike Stay, 05/06/2021
- Re: [[K-user] ] Best way to get started?, Rikard Hjort, 05/07/2021