Geeks
takasimiz
A con engineer.
Location:
Tashirojima
takasimiz Home
takasimiz GitHub
19
Repos
178
Stars
2
Followers
12
Following
takasimiz's Following
bcpierce00
University of Pennsylvania
affeldt-aist
mukeshtiwari
Swansea
CohenCyril
Inria
achlipala
MIT
strub
gares
@coq @math-comp @LPCIC
amahboubi
clarus
Formal Land
ppedrot
Bogdan-Lyashenko
@zero-plus-x
zmandel
Peru