Deduction framework with arbitrary mathematical system solver. - View it on GitHub