A Scala implementation of Alt-Ergo verification tool (unfinished)
Primary LanguageScala
No issues in this repository yet.