Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

ayu-mushi (ayu_mushi@mstdn.jp)'s status on Monday, 14-Dec-2020 23:05:28 JST ayu-mushi

（ｷﾘｯに（ｷﾘｯを生やすな

In conversation Monday, 14-Dec-2020 23:05:28 JST from mstdn.jp permalink
- ayu-mushi (ayu_mushi@mstdn.jp)'s status on Monday, 14-Dec-2020 23:05:27 JST ayu-mushi
  in reply to
  
  公理K: "「A→B」が草ならば、「Aは草」ならば「Bは草」"
  
  In conversation Monday, 14-Dec-2020 23:05:27 JST permalink
  
  sumiyaki likes this.
- ayu-mushi (ayu_mushi@mstdn.jp)'s status on Monday, 14-Dec-2020 23:05:28 JST ayu-mushi
  in reply to
  
  （ｷﾘｯや草は様相演算子…?
  
  In conversation Monday, 14-Dec-2020 23:05:28 JST permalink

Feeds