GitHub repository: mind-era/zizized
Primary language: Scala
Created: 2015-07-05T12:22:55Z
Description: A z3 inspired theorem prover for Scala.