Name Description Contact Last modified    
ZF-in-agda unknown unknown Sat, 01 Aug 2020 23:37:14 +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 Mon, 18 May 2020 23:13:17 +0900
prob1 unknown unknown Tue, 31 Mar 2020 01:43:58 +0900