Dominik Wójt

@domin144

Poland, Wrocław

Institution: private person

Machine verification of formal proofs (Metamath, Coq).

History of submissions
(plaintext version)

Problems

List of solved classical problems:

ADDREV POLYGAME
ADV04J RECTNG2
CLTZ TEST
EST
FARIDA
INVCNT
MONONUM

TODO list of classical problems:

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