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