Chou Kyuhei (@choukh)
github

choukh

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    149
  • Global Rank 154,504 (Top 6 %)
  • Followers 62
  • Following 1
  • Registered over 8 years ago
  • Most used languages
    Coq     57.1 %
    Agda     35.7 %
    CSS
         7.1 %
  • Location 🇯🇵 Japan
  • Country Total Rank 3,581
  • Country Ranking
    Coq     1
    Agda     3
    CSS
         1,048

Top repositories

1

Set-Theory

A formalization of the textbook Elements of Set Theory
Coq
59
star
2

Baby-Set-Theory

Coq集合论中文教程
Coq
41
star
3

CategoryTheory

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

MetaZF

Coq集合模型论
Coq
10
star
5

agda-veblen

veblen function in agda
Agda
5
star
6

Coq-Metaphysics

计算形而上学
Coq
4
star
7

Googology

Coq巨大数論
Coq
3
star
8

ReverseMaths

Coq反推数学
Coq
2
star
9

MetaLogic

first-order logic and set theory
Agda
2
star
10

agda-googology

formalized googology in agda
CSS
2
star
11

DEST

Double Extension Set Theory in Agda
Agda
1
star
12

USST

univalent structural set theory
Agda
1
star
13

HilbertSystem

Formal development of Hilbert style propositional logic in Agda
1
star
14

agda-flypitch

Formally proving the independence of the continuum hypothesis in Agda
Agda
1
star
15

StructuralSetTheory

结构化集合论
Coq
1
star