Badges

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

/Yosuke-Ito-345

Badges

Overview
Ranks
Repositories
Languages

Yosuke Ito

@Yosuke-Ito-345

🇯🇵 Tokyo, Japan

Sompo Himawari Life Insurance Inc.

Profile age: over 4 years

Updated 10 days ago

12 followers • 15 following

Contacts

glacier345@gmail.com

https://orcid.org/0000-0003-1558-2624

Repositories

22

3

8

updated 11 months ago • age over 4 years

Coq100.0%

0

0

updated 10 months ago • age over 1 year

Coq99.1%

Shell0.5%

Makefile0.2%

Nix0.1%

Python0.1%

Contributions

2025
analysis
2 PRs +188-35
Rocq Prover
228
61
48
2024
analysis
2 PRs +126-21
Rocq Prover
228
61
48
2023
opam
1 PR +40-0
OCaml
149
174
2022
opam
3 PRs +120-0
OCaml
149
174