1. History of submissions
  2. (plaintext version)

Dominik Wójt

@domin144

Poland, Wrocław

Joined Apr 2018

World Rank: #13463 (2.5 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

© Spoj.com. All Rights Reserved. Spoj uses Sphere Engine™ © by Sphere Research Labs.