John McCarthy’s collection of numerical facts for use in elisp programswww-formal.stanford.edu279 pointschrchr3 years ago