Erdos problem 1191 and Sidon sets: Lean 4 formulations, supporting lemmas, finite formalizations, and computational experiments. Research in progress.
Python Updated 24 days ago 1 commits
omega-coder|Mirror: nao070/erdos-1191-lean4 (⭐0)
24 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Erdos problem 1191 and Sidon sets: Lean 4 formulations, supporting lemmas, finite formalizations, and computational experiments. Research in progress.
Readme