12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 17:26, 14 March 2010
, 17:26, 14 March 2010→Proof 1 : Animation
=====Proof 1 : Animation=====
=====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"
{| 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"
