GitHub - cirosantilli/project-euler-solutions: 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.

Name		Name	Last commit message	Last commit date
ProjectEulerSolutions		ProjectEulerSolutions
data		data
solvers		solvers
.gitignore		.gitignore
.gitmodules		.gitmodules
Gemfile		Gemfile
Gemfile.lock		Gemfile.lock
ProjectEulerSolutions.lean		ProjectEulerSolutions.lean
README.adoc		README.adoc
benchmark.yaml		benchmark.yaml
benchmark_utils.py		benchmark_utils.py
codex.txt		codex.txt
find-missing.py		find-missing.py
format-py		format-py
format_md.py		format_md.py
generate-solvers.py		generate-solvers.py
generate_lean_toplevel.py		generate_lean_toplevel.py
greatest-improvements.py		greatest-improvements.py
install-eulersolve-dependencies.sh		install-eulersolve-dependencies.sh
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
lean.txt		lean.txt
lint.py		lint.py
logo.jpg		logo.jpg
numerical-consts.sh		numerical-consts.sh
patch-eulersolve-org.sh		patch-eulersolve-org.sh
plot.py		plot.py
port-greatest-improvements.txt		port-greatest-improvements.txt
project-euler-solutions.code-workspace		project-euler-solutions.code-workspace
pyproject.toml		pyproject.toml
readme.sh		readme.sh
readme_tables.py		readme_tables.py
requirements.txt		requirements.txt
scrape-eulersolve-org.sh		scrape-eulersolve-org.sh
slowest-solvers.py		slowest-solvers.py
summary.py		summary.py
test.py		test.py

Repository files navigation

About

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.

projecteuler.net

project-euler project-euler-solutions

Readme

Activity

10 stars

0 watching

5 forks

Report repository