Mapping the hidden geometry between Lean theorem statements, proof strategies, and retrieval-guided proof generation.
Python Updated 26 days ago 1 commits
pulse-dev|Mirror: jonland82/leandojo-experiments (⭐0)
26 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Mapping the hidden geometry between Lean theorem statements, proof strategies, and retrieval-guided proof generation.
Readme