Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 17:26, 14 March 2010

10 bytes added , 17:26, 14 March 2010

→‎Proof 1 : Animation

Line 251: Line 251:

=====Proof 1 : Animation=====

−

Here's a ~~rough animation~~ of the graphical transformations in the above proof:

+

Here's a animated recap of the graphical transformations that occur in the above proof:

{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"

Jon Awbrey

12,080

edits