@yoshihiro503

niconicoの基盤システムであるDMCをCoqで証明しています。
dwango, 名古屋大学
Japan
Following Users172