Last released Oct 22, 2013
Automatic Theorem Proving wrapper for Python
Dynamic Modelling Environment
Supported by