zhihan / ergo

A Scala implementation of Alt-Ergo verification tool (unfinished)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

zhihan/ergo Issues

No issues in this repository yet.