Mapping the hidden geometry between Lean theorem statements, proof strategies, and retrieval-guided proof generation.
Python Updated about 1 month ago 1 commits
pulse-dev|Mirror: jonland82/leandojo-experiments (⭐0)
about 1 month 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