Python solutions to ALL Project Euler problems, mostly using LLMs to generate the bulk of the solutions. Extension goal: formally proven Lean solutions to 1-100. - View it on GitHub