GitHub repository: szabivan/zizized
Primary language: Scala
Description: A z3 inspired theorem prover for Scala.