/algebraic-proof-assistant

A tool to verify line-by-line algebraic manipulations, in easily readable infix notation.

Primary LanguageC++

This repository is not active