GitHub repository: larsrh/leon
Primary language: Scala
Description: The Leon system for verification, synthesis, and more.