SnO₂WMaN (@sno2wman) 's Twitter Profile
SnO₂WMaN

@sno2wman

自己言及をしない

ID: 718752922553573376

linkhttps://sno2wman.net calendar_today09-04-2016 10:50:25

21,21K Tweet

3,3K Takipçi

2,2K Takip Edilen

SnO₂WMaN (@sno2wman) 's Twitter Profile Photo
SnO₂WMaN
@sno2wman

7 days ago

多分ソースコードだけ見るものではなく普通に対話式のエディタを通して見るべきものだと思うのだけどもにしてもCoqのコード何も読めなくて論文の定義の参考にできない