Giters

spiveeworks / algebraic-proof-assistant

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

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

Languages

Language:C++ 63.0%Language:C 36.8%Language:Batchfile 0.1%Language:Shell 0.0%