A mechanical proof of quadratic reciprocity (1992)

by David M Russinoff
Venue:Journal of Automated Reasoning