GitHub repository: viperproject/silver
Primary language: Scala
Created: 2020-02-20T08:58:36Z
Description: Definition of the Viper intermediate verification language.