User:Sergiolerner

My contribution to the Wikipedia is in computer aided theorem proofs.