On: Knuth on Huang's Sensitivity Proof: “I've got the ...

[giancarlostoro]

I have a feeling he uses Emacs:

https://www-cs-faculty.stanford.edu/~knuth/programs/color-mo...

It's magical watching experienced developers who have used Emacs for several decades, the way they fly through is amazing.

Edit: He has a page on emacs wiki too it seems.

https://www.emacswiki.org/emacs/DonaldKnuth