leandojo

Here is 1 public repository matching this topic...

Mapping the hidden geometry between Lean theorem statements, proof strategies, and retrieval-guided proof generation.

Add a description, image, and links to the leandojo topic page so that developers can more easily learn about it.

To associate your repository with the leandojo topic, visit your repo's landing page and select "manage topics."