User:Sergiolerner From Wikipedia, the free encyclopedia My contribution to the Wikipedia is in computer aided theorem proofs. Related Articles