Automated Mathematical Proof Simplifier (version 1.0)

Vyskočil, J.

VYSKOČIL, J. Automated Mathematical Proof Simplifier (version 1.0). [Software] 2009.

URL: http://labe.felk.cvut.cz/~vyskocil/research/AMPS/