Algorithm and Abstraction in Formal Mathematicsarxiv.org3 points·Smaug123··0 commentsOpen articleSaveView on HN