GitHub repository: viperproject/termination-plugin
Primary language: Scala
Created: 2020-03-20T16:47:28Z
Description: A Viper plugin for proving termination.