Linear Systems with Negated Equations
In the pursuit of making a theorem proover, I devised a process to show a bunch of equations and negated equations agree with each other.
In the pursuit of making a theorem proover, I devised a process to show a bunch of equations and negated equations agree with each other.