Chou Kyuhei

@choukh

🇯🇵 Tokyo

Profile age: over 9 years

Updated 9 days ago

67 followers • 1 following

updated about 4 years ago • age over 5 years

Coq99.9%

Makefile0.1%

updated almost 4 years ago • age about 4 years

Coq99.6%

Makefile0.4%

updated about 3 years ago • age about 3 years

Coq97.4%

Makefile2.6%

updated about 3 years ago • age over 3 years

Coq99.1%

Makefile0.9%

updated over 1 year ago • age about 3 years

Agda100.0%