1,178 followers
だから、中身は読んでないけど、2020年のこれが参照している29番はgithubの方なのかな。。。 RT: Efficient Verified Implementation of Introsort and Pdqsort | Automated Reasoning https://t.co/BB8s2ZjlIA
だから、中身は読んでないけど、2020年のこれが参照している29番はgithubの方なのかな。。。 RT: Efficient Verified Implementation of Introsort and Pdqsort | Automated Reasoning https://t.co/BB8s2ZjlIA