John McCarthy’s collection of numerical facts for use in elisp programs (www-formal.stanford.edu)

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.