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).
Poland, Wrocław
Joined Apr 2018
World Rank: #14009 (2.4 points)
Institution: private person
Machine verification of formal proofs (Metamath, Coq).