choukh

Chou Kyuhei's repositories

Set-Theory

A formalization of the textbook Elements of Set Theory

Language:CoqMIT58 2 1

Baby-Set-Theory

Coq集合论中文教程

Language:CoqCC0-1.041 10

CategoryTheory

A Coq formalization of the textbook Categories and Toposes: Visualized and Explained

Language:CoqCC0-1.012 10

MetaZF

Coq集合模型论

Language:CoqCC0-1.01000

agda-lvo

large veblen ordinal in agda

Language:AgdaAGPL-3.05 20

Coq-Metaphysics

计算形而上学

Language:CoqMIT4 10

Googology

Coq巨大数論

Language:CoqCC0-1.03 10

MetaLogic

first-order logic and set theory

Language:AgdaAGPL-3.02 10

ReverseMaths

Coq反推数学

Language:CoqCC0-1.02 10

DEST

Double Extension Set Theory in Agda

Language:AgdaAGPL-3.01 10

HilbertSystem

Formal development of Hilbert style propositional logic in Agda

AGPL-3.01 10

StructuralSetTheory

结构化集合论

Language:CoqCC0-1.0100

USST

A formalization of the proof that GCH implies AC in Cubical Agda.

Language:AgdaAGPL-3.01 10

agda-mode-vscode

agda-mode on VS Code

Language:ReScriptMIT000

choukh.github.io

Language:HTMLAGPL-3.0010

cubical

An experimental library for Cubical Agda

NOASSERTION000

literate-agda-to-modern-html

Language:CSSNOASSERTION000