Mercurial > Members > kono > Proof
| Name | Description | Contact | Last modified | ||
|---|---|---|---|---|---|
| ZF-in-agda | unknown | unknown | Sat, 11 Jan 2020 20:12:01 +0900 |
|
|
| agda-reflection | unknown | unknown | Thu, 12 Dec 2019 17:42:28 +0900 |
|
|
| automaton | unknown | unknown | Wed, 18 Dec 2019 19:21:47 +0900 |
|
|
| category | unknown | unknown | Sat, 13 Jul 2019 00:18:22 +0900 |
|