Proof Repair and (Co)algebra Equivalencesarxiv.org2 points·matt_d··0 commentsOpen articleSaveView on HN