Twitterからの検索

リンク Lean

検索文字列"from:m_hiyama leanprover"で、Twitter検索をすればいい。