Run Your Research: On the Effectiveness of Lightweight Mechanization (2012)eecs.northwestern.edu1 point·scott_s··0 commentsOpen articleSaveView on HN