GitHub repository: runtimeverification/k-as-a-library
Primary language: Rust
Created: 2023-03-22T10:51:43Z
Description: Code supporting K-as-a-library blog post