YuxuanGong/lean-RAG

Update README.md

Update README.md

Create README_en.md

Update README.md

Upload BGE-M3 Mathlib-RAG final model + model card

initial commit