UniFormal
Bisma Joyosumarto
BismaBRJ
A regular student who occasionally goes on GitHub to publish his code for everyone else to see.
South Jakarta, Jakarta, Indonesia
Bulhwi Cha
chabulhwi
I aim to create video games and other media for learning STEM disciplines.
Semmalgil Seoul, Republic of Korea (South Korea)
ComFreek
ComFreek
Research assistant, computer science M.Sc. I like knowledge representation methods for logics, type theories, math. Hobbywise, I dabble in Coq; fancies Scal
@KWARC Germany
