changeset | a2e6f61d5f2b |
---|---|
branch | default |
bookmark | |
tag | tip |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Add modus-ponens |
files | sandbox/modus-ponens.agda |
changeset | 29a3a4b79d4d |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Add comment |
files | cbc/atton-master-meta-sample.agda |
changeset | 79d435b16241 |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Add attom-master-meta-sample |
files | cbc/atton-master-meta-sample.agda |
changeset | f1ab418bc37f |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Cleanup sample |
files | cbc/subtype.agda |
changeset | a5cac9483f91 |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Cleanup sample |
files | cbc/atton-master-sample.agda |
changeset | dc8f140e299d |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Add sample for atton-master |
files | cbc/atton-master-sample.agda |
changeset | 614997a2e21c |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Define goto |
files | cbc/subtype.agda |
changeset | a6e25e25307a |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Cleanup proof |
files | cbc/stack-subtype-sample.agda |
changeset | b3b778d828c8 |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Cleanuping proof ... |
files | cbc/stack-subtype-sample.agda |
changeset | f3ad255e3b50 |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Prove n-pop/n-push ! |
files | cbc/stack-subtype-sample.agda |