Paul Lezeau
Paul-Lez
Researcher @ Google DeepMind & PhD student @ LSGNT (Imperial College, joint with King's College London and University College London)
James Oswald
James-Oswald
@RAIRLab Troy, New York, USA
Violeta Hernández
vihdzp
Fourth year math student at the University of Guanajuato. Also likes programming mathy stuff.
Guanajuato, Mexico
sozysozbot / hsjoihs
sozysozbot
https://twitter.com/sosoBOTpi
https://twitter.com/hsjoihs
Identical to @hsjoihs
Tokyo
AAHub
AAHub
Our mission is to display AsciiArt everywhere. Especially Japanese fonts AsciiArt.
YOSHIHIRO Imai
yoshihiro503
CEO of proof ninja, Inc.
Coq proof developer
@proof-ninja, Inc Chiba, Japan
Serokell
serokell
The most bizarre company with the bravest ideas of functional programming application
World
Bulhwi Cha
chabulhwi
I aim to create video games and other media for learning STEM disciplines.
Semmalgil Seoul, Republic of Korea (South Korea)
Joseph Tooby-Smith
jstoobysmith
Lecturer (Assistant Prof.) at University of Bath. Maintainer of PhysLean.
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Noir Blanc Rouge
noirblancrouge
Independent type foundry. Retail & custom typefaces
Noir Blanc Rouge Paris
alessandra simmons
MixedMatched
compilers, pl, and formal methods enthusiast /
cs+philosophy major at northeastern / curry-howard-brained
Cumuloworks
cumuloworks
Motion Designer / CG Generalist / Executive Director of @kumoproductions
kumo.productions™ Tokyo, Japan
Leni Aniva
lenianiva
Researcher in Machine-Assisted Theorem Proving;
Director of NorCal Hakkero Factory No. 1
Stanford University Centaur Lab San Francisco Bay Area, Gensokyo
PreviousNext