aliquote.org

August 2, 2019

This guy… and the beauty of TEX: A computational proof of Huang’s degree theorem (PDF, 1 p.). See also this related post.