alxest
Active
user
by invitation from
sanxiyn
0
0
0
interest : functional programming, formal verification, discrete mathematics