The proofs are better viewed as Mathematica notebook. If you do not have an installation of Mathematica 4.0 or later, then you can download MathReader free of charge.
A few examples on some binary relations.
Sum of limits is the limit of sum
Two proofs of the same proposition ...
Two proofs of '(f+g)(n)=f(n)+g(n)' ...