GitHub repository: runtimeverification/imp-semantics
Primary language: Python
Description: The K semantics of IMP and associated tools