log

age author description
Wed, 08 May 2019 11:34:23 +0900 Shinji KONO union
Wed, 08 May 2019 10:35:01 +0900 Shinji KONO Set theory in Agda