Revision 802873f4f15e2a9fddc3c85ad93e54abcca82a00
ProofThon
#証明ハッカソン - 日時: 11/13 (日) 13:00 - - 場所: 名古屋大学 理学部 1号館 - 参加登録: 証明ハッカソン - [PARTAKE] - ハッシュタグ: #proofthon
#証明ハッカソン - 日時: 11/13 (日) 13:00 - - 場所: 名古屋大学 理学部 1号館 - 参加登録: 証明ハッカソン - [PARTAKE] - ハッシュタグ: #proofthon