Theorem Proving and Equality
Example1
Example2
Example3
Example4
Exercise
Links:
Otter
SPASS
Info on how to use them on the computers in lab.