ergo A Scala implementation of Alt-Ergo verification tool (unfinished) This is a Scala re-implemenation of the Alg-Ergo tool. I did not have the time to finish it.