GitHub repository: taterowney/LeanRAG
Primary language: Lean
Created: 2025-06-10T16:27:42Z
Description: Lean 4 premise selection using retrieval from vector databases