Using Tree Neural Networks in Proof-Assistant HOL4arxiv.org15 points·groar··0 commentsOpen articleSaveView on HN