leanprover-community
Jonas Frede
jonasfrede
I am a mathematician from Germany. Interested in Mathematics, Optimization, Models, Operations Research, Data, Programming, Patterns and more.
Germany
Raayaan Sahu
lafeo
new ideas for projects, and brainstorming for real-world projects
@matzle-dev India
CHENG KUN
ck76
一期一会
Software Engineering is about tradeoffs, there is no one right answer.
NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai
Taylor Belcher
hotdogontology
Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev
South Carolina Governor's School for Science and Mathematics Hartsville, SC
PreviousNext