[Math] OEIS mirrored for local browsing

Maybe it was possible to get a dump of OEIS, but I wasn't aware of it. So I mirrored everything. Let OEIS owner(s) forgive me.

354742 text and JSON files. You can use jq for easier JSON grepping/selecting.

OEIS.7z, 367 MiB. OEIS.tar.xz, 584 MiB.

See also.

(the post first published at 20220610.)

List of my other blog posts.

Yes, I know about these lousy Disqus ads. Please use adblocker. I would consider to subscribe to 'pro' version of Disqus if the signal/noise ratio in comments would be good enough.