Our objective in this note is to comment briefly on the newly emerging literature on computer-aided proofs in Social Choice Theory. We shall specifically comment on Tang and Lin (Artif Intell 173:1041–1053, 2009) (henceforth TL) and Geist and Endriss (J Artif Intell Res 40:143–174, 2011) (henceforth GE). In the Appendix we provide statements and brief descriptions of the results discussed in this note.