1,639 followers
RT @fetburner: PEG、TLで某氏が言及しているのを見たことはあったけどCoqで証明の付いた実装があったとは https://t.co/KR0RriYonh
RT @fetburner: PEG、TLで某氏が言及しているのを見たことはあったけどCoqで証明の付いた実装があったとは https://t.co/KR0RriYonh
RT @fetburner: PEG、TLで某氏が言及しているのを見たことはあったけどCoqで証明の付いた実装があったとは https://t.co/KR0RriYonh
RT @fetburner: PEG、TLで某氏が言及しているのを見たことはあったけどCoqで証明の付いた実装があったとは https://t.co/KR0RriYonh
RT @fetburner: PEG、TLで某氏が言及しているのを見たことはあったけどCoqで証明の付いた実装があったとは https://t.co/KR0RriYonh