Spaces:

Ray5th
/

Lean4-helper

Running

App Files Files Community

Lean4-helper / problems

Commit History

Add MiniF2F benchmark harness and improve proof agent robustness

8c51ce7

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on May 15

Add LangChain/LangGraph RAG pipeline for retrieval-augmented proof generation

3ac681e

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on May 14