User:Sergiolerner

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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