Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/unaoya

Badges

Overview
Ranks
Repositories
Languages

Naoya Umezaki

@unaoya

🇯🇵 Tokyo

Profile age: almost 9 years

Updated 4 days ago

21 followers • 0 following

Contacts

umezakinaoya@gmail.com

https://unaoya.github.io

https://umezakinaoya.com/

Repositories

17

0

updated over 4 years ago • age almost 8 years

TeX99.7%

Makefile0.3%

2

2

updated over 7 years ago • age over 7 years

Coq100.0%

Contributions

2025
ProjectVD
1 PR +349-606
Lean
5
1
2021
zenn-contents
2 PRs +204-1
6
11