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 Mon, 04 Jan 2021 13:20:34 +0900
automaton1 unknown unknown Thu, 03 Dec 2020 06:44:53 +0900
category unknown unknown Mon, 21 Dec 2020 16:40:24 +0900
galois unknown unknown Sat, 09 Jan 2021 10:25:34 +0900
prob1 unknown unknown Tue, 31 Mar 2020 01:43:58 +0900