Towards Large Language Models as Copilots for Theorem Proving in Leanarxiv.org3 points·yeesian··0 commentsOpen articleSaveView on HN