About A Mechanical Proof of Quadratic Reciprocity
A Mechanical Proof of Quadratic Reciprocity- A paper by David M. Russinoff describing the use of the Boyer-Moore theorem prover in mechanically generating a proof of the Law of Quadratic Reciprocity. PS/PDF.
