Victor Makarovless info
|visits||member for||3 years, 10 months|
|seen||13 hours ago|
I got my Ph.D in Computer Science (Compiler Construction), now I am interested in formalization of mathematics. Currently I am involved in the design of a practical formal mathematical language. I try to test this language by formalizing Galois theory.
139 Votes Cast
|all time||by type||month|