GitHub repository: runtimeverification/scala-kore
Primary language: Scala
Created: 2024-03-01T16:29:11Z
Description: Scala support for the KORE language.