Conjugate Proof

This is an exploration in using programming to legitimately prove general things by evaluating specific cases.

Here we prove the equation (a - b)* = a* - b*

See the project on github pages.