GitHub repository: sireum/logika
Primary language: Scala
Created: 2019-03-04T16:32:00Z
Description: Logika Next-Gen Verification Framework for Slang