alxest
alxest avatar
Active user
2 years ago by invitation from sanxiyn
0, averaging 0.00 per story/comment
0
0

interest : functional programming, formal verification, discrete mathematics