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