![](https://s.togetter.com/static/web/img/placeholder.gif)
👻 道化師 🃏
@wraith13
C++馬鹿。明後日な妄言をいろいろつぶやきます、あんまり真に受けないでください。電波さんなので注意。頭のおかしい人が大好きです、あなたの狂気を喰わせてください!
-
coq などの証明の有効範囲に関する疑問
2431pv 3