Chou Kyuhei's repositories
Set-Theory
A formalization of the textbook Elements of Set Theory
Baby-Set-Theory
Coq集合论中文教程
CategoryTheory
A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
agda-veblen
veblen function in agda
Coq-Metaphysics
计算形而上学
agda-googology
formalized googology in agda
ReverseMaths
Coq反推数学
HilbertSystem
Formal development of Hilbert style propositional logic in Agda
StructuralSetTheory
结构化集合论
agda-mode-vscode
agda-mode on VS Code
Language:ReScriptMIT000
cubical
An experimental library for Cubical Agda
NOASSERTION000
Language:CSSNOASSERTION000