Dominik Wójt

@domin144

Poland, Wrocław

Joined Apr 2018

World Rank: #14009 (2.4 points)

Institution: private person

Machine verification of formal proofs (Metamath, Coq).

Activity over the last year

Effectiveness

 Problems solved
10
 Solutions submitted
23

Problems

List of solved classical problems:

ADDREV POLYGAME
ADV04J RECTNG2
CLTZ TEST
EST
FARIDA
INVCNT
MONONUM