Python solutions to ALL Project Euler problems, mostly using LLMs to generate the bulk of the solutions. Extension goal: formally proven Lean solutions ot 1-100. 反中共政治宣传库。Anti Chinese government ...