Name Description Contact Last modified    
FirstOrder unknown unknown Wed, 16 Dec 2020 16:16:46 +0900
HyperReal unknown unknown Fri, 09 Jul 2021 11:11:15 +0900
ZF-in-agda unknown unknown Wed, 03 Jan 2024 19:29:28 +0900
agda-intro/agda unknown unknown Wed, 16 Nov 2022 14:54:09 +0900
agda-reflection unknown unknown Thu, 12 Dec 2019 17:42:28 +0900
automaton unknown unknown Wed, 29 Nov 2023 17:40:57 +0900
automaton1 unknown unknown Thu, 03 Dec 2020 06:44:53 +0900
category unknown unknown Sun, 11 Feb 2024 11:25:45 +0900
galois unknown unknown Thu, 12 Oct 2023 10:12:21 +0900
prob1 unknown unknown Thu, 17 Jun 2021 10:26:02 +0900