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.
Latest commits.
Builders behind this project.
