GitHub repository: sireum/kekinian
Primary language: Scala
Created: 2018-03-23T12:08:08Z
Description: Sireum: A High Assurance System Engineering Platform