Chou Kyuhei

icon indicating an email [email protected]

icon location Tokyo icon location Interactive theorem proving Programming maths

Results 2 repositories owned by Chou Kyuhei

Set-Theory

59
Stars
5
Forks
Watchers

A formalization of the textbook Elements of Set Theory

verified publisher icon choukh

Baby-Set-Theory

41
Stars
3
Forks
Watchers

Coq集合论中文教程

verified publisher icon choukh