LeanDojo: Theorem Proving in Lean Using Language Modelsleandojo.org3 points·hendler··0 commentsOpen articleSaveView on HN