Announcement_6
Our paper, Proof Scores: A Survey, which I co-authored, has been accepted for publication in ACM Computing Surveys. A press release has been issued to announce this achievement.
Our paper, Proof Scores: A Survey, which I co-authored, has been accepted for publication in ACM Computing Surveys. A press release has been issued to announce this achievement.