log

age author description
Wed, 03 Nov 2021 16:14:09 +0900 Shinji KONO with Hoare condition
Wed, 03 Nov 2021 15:58:10 +0900 Shinji KONO define invariant
Wed, 03 Nov 2021 10:32:56 +0900 Shinji KONO new approach