Mercurial > Members > kono > Proof
Name | Description | Contact | Last modified | ||
---|---|---|---|---|---|
FirstOrder | unknown | unknown | Wed, 16 Dec 2020 16:16:46 +0900 |
![]() |
|
ZF-in-agda | unknown | unknown | Mon, 21 Dec 2020 10:24:16 +0900 |
![]() |
|
agda-reflection | unknown | unknown | Thu, 12 Dec 2019 17:42:28 +0900 |
![]() |
|
automaton | unknown | unknown | Thu, 18 Mar 2021 09:39:14 +0900 |
![]() |
|
automaton1 | unknown | unknown | Thu, 03 Dec 2020 06:44:53 +0900 |
![]() |
|
category | unknown | unknown | Sat, 10 Apr 2021 11:39:59 +0900 |
![]() |
|
galois | unknown | unknown | Sat, 09 Jan 2021 10:25:34 +0900 |
![]() |
|
prob1 | unknown | unknown | Tue, 31 Mar 2020 01:43:58 +0900 |
![]() |