For any inquiry about ProvValidator, ProvTranslator, and the ProvToolbox, please contact:

Professor Luc Moreau
Electronics and Computer Science
University of Southampton
or
report issues on github
https://github.com/lucmoreau/ProvToolbox

   Validator 0.7.2 (2015-09-16 08:37), ProvToolbox 0.7.2 (2015-09-15 20:16)