The textSeer tool is developed by the Decision Systems Lab and seeks to build a lightweight version of the ProcessSeer toolkit (http://www.dsl.uow.edu.au/projects/processSEER/).

This project can be cloned from the Github repository: https://github.com/edm92/TextSeer
To run the tool you'll need a copy of Prover9 installed somewhere on your computer.



Oldish news can be found in the development blog. Older news can be found in my site blog.