W www-formal.stanford.edu John McCarthy’s collection of numerical facts for use in elisp programs 279 points chrchr 3 years ago 79 comments
