381 reputation
3 11

Victor Makarov

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.

Top Tags (16)

Score 10
Posts 9
Posts % 75
Score 6
Posts 4
Score 6
Posts 1
Score 3
Posts 1
Score 1
Posts 3
Score 1
Posts 3

Top Posts (12) All Questions Answers | Votes Newest

View all questions and answers

Badges (14)

Gold
Silver 3

Rarest

Bronze 11

Rarest