Stargazers
Works for Type Theory Forall
Type Theory Forall
Is from Lyon, France
Lyon, France
Works for Shanghai Jiao Tong University
Shanghai Jiao Tong University
Works for freelancer
freelancer
Is from Ukraine, Kyiv
Ukraine, Kyiv
Is from (x, y, z, t)
(x, y, z, t)
Is from Shanghai, China.
Shanghai, China.
Works for Formal Land
Formal Land
Is from Bakersfield, CA
Bakersfield, CA
Is from Tokyo, Japan
Tokyo, Japan
Works for @ocaml @tc39
@ocaml @tc39
Works for @thisisartium
@thisisartium
Is from localhost, Taiwan
localhost, Taiwan
Is from Groningen
Groningen
Works for @threefoldtech
@threefoldtech
Is from New York, NY
New York, NY
Works for Lab. IRIT, Univ. Toulouse 3 Paul Sabatier
Lab. IRIT, Univ. Toulouse 3 Paul Sabatier
Works for https://tonstudio.io
https://tonstudio.io
Works for @awakesecurity
@awakesecurity
Works for @payhawk
@payhawk
Works for Rochester Institute of Technology
Rochester Institute of Technology
Is from London, England
London, England
Works for Flensburg University of Applied Scienes
Flensburg University of Applied Scienes
Is from Miami, FL, USA
Miami, FL, USA
Is from 魔法の森, Gensokyo
魔法の森, Gensokyo
Works for Bedrock Systems Inc.
Bedrock Systems Inc.
You can’t perform that action at this time.