John McCarthy’s collection of numerical facts for use in elisp programswww-formal.stanford.edu·279 pts·chrchr·79