LeanDojo: Theorem Proving in Lean Using LLMsleandojo.org2 points·aseg··0 commentsOpen articleSaveView on HN