Mercurial > hg > Members > kono > Proof > HyperReal
log src/HyperReal.agda @ 4:f094694aeec5
age | author | description |
---|---|---|
Fri, 02 Jul 2021 22:00:15 +0900 | Shinji KONO | ... |
Fri, 02 Jul 2021 17:21:27 +0900 | Shinji KONO | ... |
Fri, 02 Jul 2021 12:39:52 +0900 | Shinji KONO | < ? |
Fri, 02 Jul 2021 07:42:52 +0900 | Shinji KONO | ... |
Thu, 18 Mar 2021 16:55:49 +0900 | Shinji KONO | HyperReal |