A graph-based prover.
API docs can be found here.
- Lua >= 5.2, http://www.lua.org
- lpeg >= 1.0, http://www.inf.puc-rio.br/~roberto/lpeg/
- igraph >= 0.7, http://igraph.org/c/
- GLib >= 2.32, https://wiki.gnome.org/Projects/GLib
Copyright (C) 2017 PUC-Rio/Laboratorio TecMF
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts. A copy of the license is included in the "GNU Free Documentation License" file as part of this distribution.