1
John McCarthy’s collection of numerical facts for use in elisp programs
(www-formal.stanford.edu)
A community for the timeless and infinitely powerful editor. Want to see what Emacs is capable of?!