Dominik Wójt
@domin144
Poland, Wrocław
Joined Apr 2018
World Rank: #14004 (2.4 points)
Institution: private person
Machine verification of formal proofs (Metamath, Coq).
Poland, Wrocław
Joined Apr 2018
World Rank: #14004 (2.4 points)
Institution: private person
Machine verification of formal proofs (Metamath, Coq).