GitHub repository: runtimeverification/k-repl
Primary language: Makefile
Created: 2022-09-30T13:50:37Z
Description: REPL for K definitions