7/31(金)～8/6(木)に開催されるQuinze 2のルールを紹介していきます。アカウント登録していないと参加できないので注意してください。LMIの登録方法等についてはLMIのすすめをご覧ください。 コンテストページリンク：Quinze2 on 31st Jul - 05th Aug at Log…

7/17(金)～23(木)に開催されるTyped Logic のルールを紹介していきます。LMIの登録方法等についてはLMIのすすめをご覧ください。 LMIリンク：Home - Logic Masters India Typed Logic コンテストページリンク：Typed Logic on 17th to 22nd Jul at Logic Mas…