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