Mercurial > hg > Members > kono > Proof > prob1
log nat.agda @ 18:e35d729efd58
age | author | description |
---|---|---|
Fri, 27 Mar 2020 14:37:08 +0900 | kono | fix |
Wed, 27 Nov 2019 17:51:59 +0900 | Shinji KONO | problem 0 done |
Wed, 27 Nov 2019 13:47:04 +0900 | Shinji KONO | reasoning on < ? |
Wed, 27 Nov 2019 09:59:51 +0900 | Shinji KONO | minus clean up |
Mon, 25 Nov 2019 18:00:51 +0900 | Shinji KONO | incudtion selection on diophantos equation |