Mercurial > hg > Papers > 2023 > soto-master
log Paper/src/agda-hoare-term.agda @ 28:423f59b098ac
age | author | description |
---|---|---|
Thu, 12 Jan 2023 20:28:50 +0900 | soto | Init paper |
age | author | description |
---|---|---|
Thu, 12 Jan 2023 20:28:50 +0900 | soto | Init paper |