LeanDojo: Theorem Proving with Retrieval-Augmented Language Modelsleandojo.org5 points·xvedejas··0 commentsOpen articleSaveView on HN