Mercurial > Members > kono > Proof
| Name | Description | Contact | Last modified | ||
|---|---|---|---|---|---|
| FirstOrder | unknown | unknown | Sat, 22 Aug 2020 13:34:15 +0900 |
|
|
| ZF-in-agda | unknown | unknown | Sat, 08 Aug 2020 18:14:20 +0900 |
|
|
| agda-reflection | unknown | unknown | Thu, 12 Dec 2019 17:42:28 +0900 |
|
|
| automaton | unknown | unknown | Sat, 14 Mar 2020 19:43:16 +0900 |
|
|
| category | unknown | unknown | Sat, 22 Aug 2020 10:46:02 +0900 |
|
|
| galois | unknown | unknown | Sun, 20 Sep 2020 10:34:57 +0900 |
|
|
| prob1 | unknown | unknown | Tue, 31 Mar 2020 01:43:58 +0900 |
|