GitHub repository: runtimeverification/k-pldi-tutorial
Primary language: Shell
Description: Code supporting K tutorial session at PLDI 2023.