LeanDojo: Theorem Proving with Retrieval-Augmented Language Modelsleandojo.org1 point·panabee··0 commentsOpen articleSaveView on HN