Skip to content

feat(OEIS): add solutions from AlphaProof Nexus#4384

Draft
mo271 wants to merge 20 commits into
google-deepmind:mainfrom
mo271:solved_oeis
Draft

feat(OEIS): add solutions from AlphaProof Nexus#4384
mo271 wants to merge 20 commits into
google-deepmind:mainfrom
mo271:solved_oeis

feat(OEIS): give meaningful names to target theorems

ffc5863
Select commit
Loading
Failed to load commit list.
Google CLA / cla/google succeeded Jul 3, 2026 in 13s

✅ All contributors are covered under a CLA with Google

See https://cla.developers.google.com/ for more info about Google's Contributor License Agreement (CLA).

ℹ️ Googlers: Go here to view more details and manage scans for this pull request.

Details

The following contributors were found for this pull request:

✅ ffc5863 Author: @mo271 <mori********hing​@gmail.com>, <fi*****ng​@google.com>

(Only the first commit for a unique contributor is listed.)

View more details on Google CLA