OpenMath
Users following OpenMath
Yongshun Ye
ShreckYe
Kotlin full stack developer; programming language theory (functional programming, type theory, formal math, etc.) enthusiast
@huanshankeji Chengdu
Patrik Schneider
patrik999
Research Scientist at Siemens T, Germany and TU Wien with focus on Knowledge Graphs / Semantic Web / Stream Reasoning.
Siemens AG and TU Wien Munich
digital.pseudocircus
45i
17 year old professional retard.
Avid programmer and music lover.
as if hell
Bulhwi Cha
chabulhwi
I aim to create video games and other media for learning STEM disciplines.
Semmalgil Seoul, Republic of Korea (South Korea)
