Mercurial > hg > Members > kono > Proof > ZF-in-agda

changeset 102:02d421f1cc06 release

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ZF Set Theory in Agda
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 10 Jun 2019 09:53:45 +0900
parents 9829ba02877f (diff) 52a82415dfc8 (current diff)
children e022c0716936
files set-of-agda.agda
diffstat 0 files changed, 0 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff